Advances in Intensional Logic

ISBN-13: 9789048148974 / Angielski / Miękka / 2010 / 294 str.

Maarten de Rijke

Opis

This book identifies important recent developments in intensional logic, a branch of logic with applications in linguistics, cognitive science, artificial intelligence, philosophy and computer science. The main themes of the book are proof theory, descriptive uses, applications, and foundations of intensional logic.

Spis treści

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.