Abstract is missing.
- Editorial PrefacePhilippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev.
- Modal Logics with a Linear Hierarchy of Local Propositional QuantifiersKai Engelhardt, Ron van der Meyden, Kaile Su. 9-30
- Functional Completenes for a Natural Deduction Formulation of Hybridized S5Torben Braüner. 31-50
- Relativized Action Complement for Dynamic LogicsJan Broersen. 51-70
- How Many Variables Does One Need to Prove PSPACE-hardness of Modal LogicsAlexander V. Chagrov, Mikhail N. Rybakov. 71-82
- Non-normal ModalisationRogerio Fajardo, Marcelo Finger. 83-96
- Bisimulations and Boolean VectorsMelvin Fitting. 97-126
- A Sound and Complete Proof System for QPTLTim French, Mark Reynolds. 127-148
- Equational Logic of Polynomial CoalgebrasRobert Goldblatt. 149-184
- Towards Uniform Reasoning via Structured Subset SpacesBernhard Heinemann. 185-204
- Controlled Model ExplorationGabriel G. Infante López, Carlos Areces, Maarten de Rijke. 205-220
- A Note on Relativised Products of Modal LogicsÁgnes Kurucz, Michael Zakharyaschev. 221-242
- Notes on the Space Requirements for Checking Satisfiability in Modal LogicsMarcus Kracht. 243-264
- Description Logics with Concrete Domains-A SurveyCarsten Lutz. 265-296
- Restricted Interpolation in Modal LogicsLarisa Maksimova. 297-312
- Binary Logics, Orthologics, and their Relations to Normal Modal LogicsYutaka Miyazaki. 313-334
- Completions of Algebras and Completeness of Modal and Substructural LogicsHiroakira Ono. 335-370
- Combining Dynamic Logic with Doxastic Modal LogicsRenate A. Schmidt, Dmitry Tishkovsky. 371-392
- The Complexity of Temporal Logic Model CheckingPh. Schnoebelen. 393-436
- Chronological Future Modality in Minkowski SpacetimeIlya Shapirovsky, Valentin B. Shehtman. 437-460
- An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional LogicsDmitrij P. Skvortsov. 461-474
- On IF Modal Logic and its Expressive PowerTero Tulenheimo. 475-498
- Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist s ClassDimiter Vakarelov. 499-518