| 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 | Binary Logics, Orthologics, and their Relations to Normal Modal Logics. | Yutaka Miyazaki |
| 2002 | Restricted Interpolation in Modal Logics. | Larisa Maksimova |
| 2002 | Description Logics with Concrete Domains-A Survey. | Carsten Lutz |
| 2002 | A Note on Relativised Products of Modal Logics. | gnes Kurucz, Michael Zakharyaschev |
| 2002 | Notes on the Space Requirements for Checking Satisfiability in Modal Logics. | Marcus Kracht |
| 2002 | Controlled Model Exploration. | Gabriel G. Infante Lpez, Carlos Areces, Maarten de Rijke |
| 2002 | Towards Uniform Reasoning via Structured Subset Spaces. | Bernhard Heinemann |
| 2002 | Equational Logic of Polynomial Coalgebras. | Robert Goldblatt |
| 2002 | A Sound and Complete Proof System for QPTL. | Tim French, Mark Reynolds |
| 2002 | Bisimulations and Boolean Vectors. | Melvin Fitting |
| 2002 | Non-normal Modalisation. | Rogerio Fajardo, Marcelo Finger |
| 2002 | Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. | Kai Engelhardt, Ron van der Meyden, Kaile Su |
| 2002 | How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics. | Alexander V. Chagrov, Mikhail N. Rybakov |
| 2002 | Relativized Action Complement for Dynamic Logics. | Jan M. Broersen |
| 2002 | Functional Completenes for a Natural Deduction Formulation of Hybridized S5. | Torben Braner |
| 2002 | Editorial Preface. | Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
| 2000 | Belief, Names, and Modes of Presentation. | Ruili Ye, Melvin Fitting |
| 2000 | On Arithmetical Completeness of First-Order Logics of Provability. | Rostislav E. Yavorsky |
| 2000 | Outline of a Logic of Action. | Krister Segerberg |
| 2000 | Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4. | Larisa Maksimova |
| 2000 | The Complexity of Reasoning with Boolean Modal Logics. | Carsten Lutz, Ulrike Sattler |
| 2000 | S5 S5 S5 Lacks the Finite Model Property. | gnes Kurucz |
| 2000 | The Semantics of Modal Predicate Logic I. Counterpart-Frames. | Marcus Kracht, Oliver Kutz |