Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical and computational discipline. It is the main source of formal languages aimed at analyzing complex notions such as common knowledge and formal provability. Modal and modal-like languages also provide us with families of restricted description languages for relational and topological structures. They are being used in many disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy.
This volume presents a broad and up-to-date view of the field, with contributions covering both the foundations of modal logic itself and each of the aforementioned application areas. Complemented with an editorial introduction covering the roots of modal logic, this book is indispensable for any advanced student and researcher in non-classical logic and its applications.
lecturer at the department of computer science, King's College London.
is professor of
theoretical philosophy at Uppsala
University. is leader
of the computational logic group at the Institute for Logic, Language
and Computation at the University of Amsterdam. is professor of logic and philosophy of science at the Dresden University of Technology.
- The Origins of Modern Modal Logic
- 1 STS: A Structural Theory of Sets
- 2 Interpolation, Definability and Fixed Points in Interpretability Logic
- 3 Operations on Proofs that can be Specified by Means of Modal Logic
- 4 Modal Logic in Two Gestalts
- 5 Locally Tabular Extensions of MIPC
- 6 Conditional and Unconditional Obligation for Agents in Time
- 7 How to Complete Some Modal Predicate Logics
- 8 Dynamics of Practical Reasoning: A Position Paper
- 9 A Resolution-Based Decision Procedure for Extensions of K4
- 10 Modal Logic and Universal Algebra I: Modal Axiomatizations of Structure
- 11 Abductive Reasoning over Temporal Specifications of Objects
- 12 A Modal Analysis of Som Principles of the Provability Logic of Heyting Arithmatic
- 13 Logic and Syntax—A Personal Perspective
- 14 A Co-Variety-Theorem for Modal Logic
- 15 Propositions, Propositional Attitudes and Belief Revision
- 16 Rasiowa-Sikorski Lemma and Kripke Completeness of Predicate and Infinitary Modal Logics
- 17 Canonical Pseudo-Correspondence
- 18 Dynamic Description Logics
- Subject Index
- Author Index