Advances in Intensional Logic

Advances in Intensional Logic

by Maarten de Rijke (Editor)

Paperback(Softcover reprint of hardcover 1st ed. 1997)

Use Standard Shipping. For guaranteed delivery by December 24, use Express or Expedited Shipping.

Product Details

ISBN-13: 9789048148974
Publisher: Springer Netherlands
Publication date: 12/07/2010
Series: Applied Logic Series , #7
Edition description: Softcover reprint of hardcover 1st ed. 1997
Pages: 294
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

Preface. Modal Quantification over Structured Domains; J. van Benthem, N. Alechina. Modal Logic and Model-Theoretic Syntax; P. Blackburn, W. Meyer-Viol. The Functional Interpretation of Modal Necessity; R.J.G.B. de Queiroz, D.M. Gabbay. Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic; V.V. Rybakov. The Logic of Correct Description; J. Seligman. Modal Logics of Arrows; D. Vakarelov. A Full-Circle Theorem for Simple Tense Logic; H. Wansing. Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline; M. Zakharyaschev. The Modal Object Calculus and its Interpretation; E.N. Zalta. Name Index. Subject Index.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews