| Vol-86 © 2002 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.

# Advances in Modal Logic 2002

### Proceedings of the Conference AiML '02
Toulouse, France, September 30 - October 2, 2002

Edited by

### Philippe Balbiani *
Nobu-Yuki Suzuki $
Frank Wolter #
Michael Zakharyaschev +

* Institut de recherche en informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse Cedex 4, France
$ Shizuoka University, Faculty of Sciences, Ohya 836, Shizuoka 422 8529, Japan
# University of Liverpool, Department of Computer Science, Chadwick Building, Peach Street, Liverpool L69 7ZF, UK
+ King's College London, Department of Computer Science, Strand, London WC2R 2LS, UK

AiML Advances in Modal Logic (AiML) is an initiative aimed at presenting an up-to-date picture of the state of art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2002 is the fourth conference organized as part of this initiative.

Topics Topics of interest include: complexity and decidability of modal and temporal logics, deontic logic, description logics, dynamic logic, epistemic logic, modal logics of space, modal logic and game theory, modal logic and grammar formalisms, modal realism and anti-realism, modal and temporal logic programming and theorem proving, model theory and proof theory of modal and temporal logic, representation of time in natural language semantics, non-monotonic modal logics, provability logic, common-sense temporal reasoning.

Invited speakers Melving Fitting (USA), Robert Goldblatt (New Zealand), Ian Hodkinson (UK), Hans Kamp (Germany), Carsten Lutz (Germany), Hiroakira Ono (Japan), Philippe Schnoebelen (France).

## Table of Contents

- Preface
  Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev

1. Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers
   Kai Engelhardt, Ron van der Meyden and Kaile Su
2. Functional Completeness for a Natural Deduction Formulation of Hybridized S5
   Torben Braüner
3. Relativized Action Complement for Dynamic Logics
   Jan Broersen
4. How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics?
   A.V. Chagrov and M.N. Rybakov
5. Non-Normal Modalisation
   Rogerio A. S. Fajardo and Marcelo Finger
6. Bisimulations and Boolean Vectors
   Melvin Fitting
7. A Sound and Complete Proof System for QPTL
   Tim French and Mark Reynolds
8. Equational Logic of Polynomial Coalgebras
   Robert Goldblatt
9. A Note on Relativised Products of Modal Logics
   Agi Kurucz and Michael Zakharyaschev
10. Notes on the Space Requirements for Checking Satisfiability in Modal Logics
    Marcus Kracht
11. Towards Uniform Reasoning via Structured Subset Spaces
    Bernhard Heinemann
12. Controlled Model Exploration
    Gabriel G. Infante-Lopez, Carlos Areces, and Maarten de Rijke
13. Description Logics with Concrete Domains -- A Survey
    Carsten Lutz
14. Restricted Interpolation in Modal Logics
    Larisa Maksimova
15. Binary Logics, Orthologics and their Relations to Normal Modal Logics
    Yutaka Miyazaki
16. Completions of Algebras and Completeness of Modal and Substructural Logics
    Hiroakira Ono
17. An Axiomatization of Prior's Ockhamist Logic of Historical Necessity
    Mark Reynolds
18. Combining Dynamic Logic with Doxastic Modal Logics
    Renate A. Schmidt and Dimitry Tishkovsky
19. The Complexity of Temporal Logic Model Checking
    Philippe Schnoebelen
20. Chronological Future Modality in Minkowski Spacetime
    Ilya Shapirovsky and Valentin Shehtman
21. An Incompleteness Result for Predicate Extensions of Intermediate Propositional Logics
    D. Skvortsov
22. On IF Modal Logic and its Expressive Power
    Tero Tulenheimo
23. Modal Definability in Languages with a Finite Number of Propositional variables and a New Extension of the Sahlqvist's Class
    Dimiter Vakarelov

submitted by Frank Wolter via Oliver Kutz, October 21, 2003