| 2003 | Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September - 2 October 2002 Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
| 2002 | A Note on Relativised Products of Modal Logics. Ágnes Kurucz, Michael Zakharyaschev |
| 2002 | A Sound and Complete Proof System for QPTL. Tim French, Mark Reynolds |
| 2002 | An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics. Dmitrij P. Skvortsov |
| 2002 | Binary Logics, Orthologics, and their Relations to Normal Modal Logics. Yutaka Miyazaki |
| 2002 | Bisimulations and Boolean Vectors. Melvin Fitting |
| 2002 | Chronological Future Modality in Minkowski Spacetime. Ilya Shapirovsky, Valentin B. Shehtman |
| 2002 | Combining Dynamic Logic with Doxastic Modal Logics. Renate A. Schmidt, Dmitry Tishkovsky |
| 2002 | Completions of Algebras and Completeness of Modal and Substructural Logics. Hiroakira Ono |
| 2002 | Controlled Model Exploration. Gabriel G. Infante López, Carlos Areces, Maarten de Rijke |
| 2002 | Description Logics with Concrete Domains-A Survey. Carsten Lutz |
| 2002 | Editorial Preface. Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
| 2002 | Equational Logic of Polynomial Coalgebras. Robert Goldblatt |
| 2002 | Functional Completenes for a Natural Deduction Formulation of Hybridized S5. Torben Braüner |
| 2002 | How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics. Alexander V. Chagrov, Mikhail N. Rybakov |
| 2002 | Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class. Dimiter Vakarelov |
| 2002 | Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. Kai Engelhardt, Ron van der Meyden, Kaile Su |
| 2002 | Non-normal Modalisation. Rogerio Fajardo, Marcelo Finger |
| 2002 | Notes on the Space Requirements for Checking Satisfiability in Modal Logics. Marcus Kracht |
| 2002 | On IF Modal Logic and its Expressive Power. Tero Tulenheimo |
| 2002 | Relativized Action Complement for Dynamic Logics. Jan M. Broersen |
| 2002 | Restricted Interpolation in Modal Logics. Larisa Maksimova |
| 2002 | The Complexity of Temporal Logic Model Checking. Philippe Schnoebelen |
| 2002 | Towards Uniform Reasoning via Structured Subset Spaces. Bernhard Heinemann |