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

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.

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.