AiML
Advances in Modal Logic (AiML)
is an initiative aimed at presenting an uptodate 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 antirealism,
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, nonmonotonic modal logics, provability
logic, commonsense 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, NobuYuki Suzuki, Frank Wolter, Michael
Zakharyaschev

Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers
Kai Engelhardt, Ron van der Meyden and Kaile Su

Functional Completeness for a Natural Deduction Formulation of Hybridized S5
Torben Braüner

Relativized Action Complement for Dynamic Logics
Jan Broersen

How Many Variables Does One Need to Prove PSPACEhardness of Modal Logics?
A.V. Chagrov and M.N. Rybakov

NonNormal Modalisation
Rogerio A. S. Fajardo and Marcelo Finger

Bisimulations and Boolean Vectors
Melvin Fitting

A Sound and Complete Proof System for QPTL
Tim French and Mark Reynolds

Equational Logic of Polynomial Coalgebras
Robert Goldblatt

A Note on Relativised Products of Modal Logics
Agi Kurucz and Michael Zakharyaschev

Notes on the Space Requirements for Checking Satisfiability in Modal Logics
Marcus Kracht

Towards Uniform Reasoning via Structured Subset Spaces
Bernhard Heinemann

Controlled Model Exploration
Gabriel G. InfanteLopez, Carlos Areces, and Maarten de Rijke

Description Logics with Concrete Domains  A Survey
Carsten Lutz

Restricted Interpolation in Modal Logics
Larisa Maksimova

Binary Logics, Orthologics and their Relations to Normal Modal Logics
Yutaka Miyazaki

Completions of Algebras and Completeness of Modal and Substructural Logics
Hiroakira Ono

An Axiomatization of Prior's Ockhamist Logic of Historical Necessity
Mark Reynolds

Combining Dynamic Logic with Doxastic Modal Logics
Renate A. Schmidt and Dimitry Tishkovsky

The Complexity of Temporal Logic Model Checking
Philippe Schnoebelen

Chronological Future Modality in Minkowski Spacetime
Ilya Shapirovsky and Valentin Shehtman

An Incompleteness Result for Predicate Extensions of Intermediate Propositional Logics
D. Skvortsov

On IF Modal Logic and its Expressive Power
Tero Tulenheimo

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