Advances in Modal Logic, Volume 2edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Wansing
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 modallike 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 uptodate 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 nonclassical logic and its applications.
Michael Zakharyaschev is senior
lecturer at the department of computer science, King's College London.
Krister Segerberg is professor of
theoretical philosophy at Uppsala
University. Maarten de Rijke is leader
of the computational logic group at the Institute for Logic, Language
and Computation at the University of Amsterdam. Heinrich Wansing is professor of logic and philosophy of science at the Dresden University of Technology.
 Contributors
 The Origins of Modern Modal Logic
Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Wansing
 1 STS: A Structural Theory of Sets
Alexandru Baltag
 2 Interpolation, Definability and Fixed Points in Interpretability Logic
Carlos Areces, Eva Hoogland, and Dick de Jongh
 3 Operations on Proofs that can be Specified by Means of Modal Logic
Sergei N. Artemov
 4 Modal Logic in Two Gestalts
Johan van Benthem
 5 Locally Tabular Extensions of MIPC
Guram Bezhanishvili and Revaz Grigolia
 6 Conditional and Unconditional Obligation for Agents in Time
Mark A. Brown
 7 How to Complete Some Modal Predicate Logics
Max J. Cresswell
 8 Dynamics of Practical Reasoning: A Position Paper
Dov M. Gabbay
 9 A ResolutionBased Decision Procedure for Extensions of K4
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, and Rante A. Schmidt
 10 Modal Logic and Universal Algebra I: Modal Axiomatizations of Structure
Valentin Goranko and Dimiter Vakarelov
 11 Abductive Reasoning over Temporal Specifications of Objects
Paula Gouveia and Christina Sernadas
 12 A Modal Analysis of Som Principles of the Provability Logic of Heyting Arithmatic
Rosalie Iemhoff
 13 Logic and Syntax—A Personal Perspective
Marcus Kracht
 14 A CoVarietyTheorem for Modal Logic
Alexander Kurz
 15 Propositions, Propositional Attitudes and Belief Revision
Rohit Parikh
 16 RasiowaSikorski Lemma and Kripke Completeness of Predicate and Infinitary Modal Logics
Yoshihito Tanaka and Hiroakira Ono
 17 Canonical PseudoCorrespondence
Yde Venema
 18 Dynamic Description Logics
Frank Wolter and Michael Zakharyaschev
 Subject Index
 Author Index
3/15/2001
ISBN (Paperback): 1575862727 (9781575862729)
ISBN (Cloth): 1575862719 (9781575862712)
Information about other volumes can be found
at AiML.NET
including Volume 1 also by CSLI Publications.
Subject: Linguistics; Modality

Distributed by the University of Chicago Press
