Advances in Modal Logic, Volume 3

Frank Wolter,
Heinrich Wansing,
Maarten de Rijke, and
Michael Zakharyaschev, editors

World Scientific, 2002

ISBN 981-238-179-1

Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic", held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic.

Table of Contents

• Preface, vii-viii
• On Arithmetical Completeness of First-Order Logics of Provability, Rostislav E. Yavorsky, 1-16
• From Description to Hybrid Logics, and Back, Carlos Areces and Maarten de Rijke, 17-36
• Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting, Nuel D. Belnap, 37-58
• Homophonic Theory of Truth for Tense Logic, Torben Braüner, 59-72
• Weak Necessity on Weak Kleene Matrices, Fabrice Correia, 73-90
• Bimodal Logics for Reasoning About Continuous Dynamics, Jen M. Davoren and Rajeev P. Goré, 91-111
• Modal Logics with Weak Forms of Recursion: PSPACE Specimens, Stéphane Demri, 113-138
• Towards a Many-Dimensional Modal Logic for Semantic Processing, Tim Fernando, 139-151
• Algorithmic Correspondence Theory for Substructural Categorial Logic, Marcelo Finger, 153-172
• Dealing with the Ramification Problem in Extended Propositional Dynamic Logic, Norman Foo and Dongmo Zhang, 173-191
• From Bisimulation Quantifiers to Classifying Toposes, Silvio Ghilardi and Marek Zawadowski, 193-220
• Sahlqvist Formulas Unleashed in Polyadic Modal Languages, Valentin Goranko and Dimiter Vakarelov, 221-240
• Normal Products of Modal Logics, Yasusi Hasimoto, 241-255
• A Tableau Algorithm for the Clique Guarded Fragment, Colin Hirsch and Stephan Tobies, 257-277
• Epistemic Logic of Shallow Depths and Game Theoretical Applications, Mamoru Kaneko and Nobu-Yuki Suzuki, 279-298
• The Semantics of Modal Predicate Logic I. Counterpart-Frames, Marcus Kracht and Oliver Kutz, 299-320
• S5 x S5 x S5 Lacks the Finite Model Property, Agnes Kurucz, 321-327
• The Complexity of Reasoning with Boolean Modal Logics, Carsten Lutz and Ulrike Sattler, 329-348
• Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4, Larisa Maksimova, 349-363
• Outline of a Logic of Action, Krister Segerberg, 365-387
• Belief, Names, and Modes of Presentation, Ruili Ye and Melvin Fitting, 389-408
• Subject Index, 409-412
• Author Index, 413-415