Advances in Modal Logic, Volume 4

Philippe Balbiani,
Nobu-Yuki Suzuki,
Frank Wolter, and
Michael Zakharyaschev, editors

King's College Publications, 2003

ISBN 0954300629

Volume 4 contains invited and contributed papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002.

Volume 4 is available online as a single ps file or by separate articles:

Table of Contents

• Editorial Preface, P. Balbiani, N.-Y. Suzuki, F. Wolter and M. Zakharyaschev, vii-viii
• Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers, Kai Engelhardt, Ron van der Meyden, Kaile Su, 9-30
• Functional Completenes for a Natural Deduction Formulation of Hybridized S5, Torben Braüner, 31-49
• Relativized Action Complement for Dynamic Logics, Jan Broersen, 51-69
• How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics, A. V. Chagrov and M. N. Rybakov, 71-82
• Non-normal Modalisation, Rogerio A. S. Fajardo and Marcelo Finger, 83-95
• Bisimulations and Boolean Vectors, Melvin Fitting, 97-125
• A Sound and Complete Proof System for QPTL, Tim French and Mark Reynolds, 127-147
• Equational Logic of Polynomial Coalgebras, Robert Goldblatt, 149-184
• Towards Uniform Reasoning via Structured Subset Spaces, Bernhard Heinemann, 185-203
• Controlled Model Exploration, Gabriel G. Infante-Lopez, Carlos Areces and Maarten de Rijke, 205-220
• A Note on Relativised Products of Modal Logics, Agi Kurucz and Michael Zakharyaschev, 221-242
• Notes on the Space Requirements for Checking Satisfiability in Modal Logics, Marcus Kracht, 243-264
• Description Logics with Concrete Domains - A Survey, Carsten Lutz, 265-296
• Restricted Interpolation in Modal Logics, Larisa Maksimova, 297-311
• Binary Logics, Orthologics, and their Relations to Normal Modal Logics, Yutaka Miyazaki, 313-333
• Completions of Algebras and Completeness of Modal and Substructural Logics, Hiroakira Ono, 335-353
• An Axiomatization of Prior's Ockhamist Logic of Historical Necessity, Mark Reynolds, 355-370
• Combining Dynamic Logic with Doxastic Modal Logics, Renate A. Schmidt and Dmitry Tishkovsky, 371-391
• The Complexity of Temporal Logic Model Checking, Ph. Schnoebelen, 393-436
• Chronological Future Modality in Minkowski Spacetime, Ilya Shapirovsky and Valentin Shehtman, 437-459
• An Incompleteness Result for Predicate Extensions of Intermediate Propositional Logics, D. Skvortsov, 461-474
• On IF Modal Logic and its Expressive Power, Tero Tulenheimo, 475-498
• Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class, Dimiter Vakarelov, 499-518
• Index, 519-523