[CEUR Workshop Proceedings] 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

  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