| 2002 | Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig, Germany, 4-7 October 2000 Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev |
| 2000 | A Tableau Algorithm for the Clique Guarded Fragment. Colin Hirsch, Stephan Tobies |
| 2000 | Algorithmic Correspondence Theory for Substructural Categorial Logic. Marcelo Finger |
| 2000 | Belief, Names, and Modes of Presentation. Ruili Ye, Melvin Fitting |
| 2000 | Bimodal Logics for Reasoning About Continuous Dynamics. Jennifer M. Davoren, Rajeev Goré |
| 2000 | Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. Norman Y. Foo, Dongmo Zhang |
| 2000 | Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting. Nuel D. Belnap Jr. |
| 2000 | Epistemic Logic of Shallow Depths and Game Theoretical Applications. Mamoru Kaneko, Nobu-Yuki Suzuki |
| 2000 | From Bisimulation Quantifiers to Classifying Toposes. Silvio Ghilardi, Marek W. Zawadowski |
| 2000 | From Description to Hybrid Logics, and Back. Carlos Areces, Maarten de Rijke |
| 2000 | Homophonic Theory of Truth for Tense Logic. Torben Braüner |
| 2000 | Modal Logics with Weak Forms of Recursion: PSPACE Specimens. Stéphane Demri |
| 2000 | Normal Products of Modal Logics. Yasusi Hasimoto |
| 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 | S5 × S5 × S5 Lacks the Finite Model Property. Ágnes Kurucz |
| 2000 | Sahlqvist Formulas Unleashed in Polyadic Modal Languages. Valentin Goranko, Dimiter Vakarelov |
| 2000 | The Complexity of Reasoning with Boolean Modal Logics. Carsten Lutz, Ulrike Sattler |
| 2000 | The Semantics of Modal Predicate Logic I. Counterpart-Frames. Marcus Kracht, Oliver Kutz |
| 2000 | Towards a Many-Dimensional Modal Logic for Semantic Processing. Tim Fernando |
| 2000 | Weak Necessity on Weak Kleene Matrices. Fabrice Correia |