Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev (Eds.):
Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002.
King's College Publications 2003, ISBN 0-9543006-2-9 
- Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Editorial Preface.
- Kai Engelhardt, Ron van der Meyden, Kaile Su:
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.
9-30
- Torben Braüner:
Functional Completenes for a Natural Deduction Formulation of Hybridized S5.
31-50
- Jan Broersen:
Relativized Action Complement for Dynamic Logics.
51-70
- Alexander V. Chagrov, Mikhail N. Rybakov:
How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics.
71-82
- Rogerio Fajardo, Marcelo Finger:
Non-normal Modalisation.
83-96
- Melvin Fitting:
Bisimulations and Boolean Vectors.
97-126
- Tim French, Mark Reynolds:
A Sound and Complete Proof System for QPTL.
127-148
- Robert Goldblatt:
Equational Logic of Polynomial Coalgebras.
149-184
- Bernhard Heinemann:
Towards Uniform Reasoning via Structured Subset Spaces.
185-204
- Gabriel G. Infante López, Carlos Areces, Maarten de Rijke:
Controlled Model Exploration.
205-220
- Ágnes Kurucz, Michael Zakharyaschev:
A Note on Relativised Products of Modal Logics.
221-242
- Marcus Kracht:
Notes on the Space Requirements for Checking Satisfiability in Modal Logics.
243-264
- Carsten Lutz:
Description Logics with Concrete Domains-A Survey.
265-296
- Larisa Maksimova:
Restricted Interpolation in Modal Logics.
297-312
- Yutaka Miyazaki:
Binary Logics, Orthologics, and their Relations to Normal Modal Logics.
313-334
- Hiroakira Ono:
Completions of Algebras and Completeness of Modal and Substructural Logics.
335-370
- Renate A. Schmidt, Dmitry Tishkovsky:
Combining Dynamic Logic with Doxastic Modal Logics.
371-392
- Ph. Schnoebelen:
The Complexity of Temporal Logic Model Checking.
393-436
- Ilya Shapirovsky, Valentin B. Shehtman:
Chronological Future Modality in Minkowski Spacetime.
437-460
- Dmitrij P. Skvortsov:
An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics.
461-474
- Tero Tulenheimo:
On IF Modal Logic and its Expressive Power.
475-498
- Dimiter Vakarelov:
Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class.
499-518
Copyright © Mon Nov 16 21:54:30 2009
by Michael Ley (ley@uni-trier.de)
