Advances in Modal Logic, Volume 2

Michael Zakharyaschev,
Krister Segerberg,
Maarten de Rijke, and
Heinrich Wansing, editors

CSLI Publications, 2000

ISBN (Paperback): 1575862727
ISBN (Cloth): 1575862719

Volume 2 presents a selection of papers presented at "Advances in Modal Logic'98", the second international workshop of its kind, focusing exclusively on the theory and applications of modal logic.

Table of Contents

• Contributors, vii-x
• Preface, xi-xii
• The Origins of Modern Modal Logic, Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Wansing, xiii-xxx
• STS: A Structural Theory of Sets, Alexandru Baltag, 1-34
• Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics, Natasha Alechina, Valeria de Paiva, and Eike Ritter, 35-52
• Interpolation, Definability and Fixed Points in Interpretability Logics, Carlos Areces, Eva Hoogland, and Dick de Jongh, 53-76
• Operations on Proofs that can be Specified by Means of Modal Logic, Sergei N. Artemov, 77-90
• Modal Logic in Two Gestalts, Johan van Benthem, 91-118
• Locally Tabular Extensions of MIPC, Guram Bezhanishvili and Revaz Grigolia, 119-138
• Conditional and Unconditional Obligation For Agents In Time, Mark A. Brown, 139-171
• How to Complete Some Modal Predicate Logics, Max J. Cresswell, 173-196
• Dynamics of Practical Reasoning: A Position Paper, Dov M. Gabbay, 197-242
• A Resolution-Based Decision Procedure for Extensions of K4, Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, and Renate A. Schmidt, 243-263
• Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures, Valentin Goranko and Dimiter Vakarelov, 265-292
• Abductive Reasoning over Temporal Specifications of Objects, Paula Gouveia and Cristina Sernadas, 293-318
• A Modal Analysis of Some Principles of the Provability Logic of Heyting Arithmetic, Rosalie Iemhoff, 319-354
• Logic and Syntax - A Personal Perspective, Marcus Kracht, 355-384
• A Co-Variety-Theorem for Modal Logic, Alexander Kurz, 385-398
• Propositions, Propositional Attitudes and Belief Revision, Rohit Parikh, 399-418
• Rasiowa-Sikorski Lemma and Kripke Completeness of Predicate and Infinitary Modal Logics, Yoshihito Tanaka and Hiroakira Ono, 419-437
• Canonical Pseudo-Correspondence, Yde Venema, 439-448
• Dynamic Description Logics, Frank Wolter and Michael Zakharyaschev, 449-463
• Subject Index, 465-473
• Author Index, 475-478