| 2000 | Epistemic Logic of Shallow Depths and Game Theoretical Applications. | Mamoru Kaneko, Nobu-Yuki Suzuki |
| 2000 | A Tableau Algorithm for the Clique Guarded Fragment. | Colin Hirsch, Stephan Tobies |
| 2000 | Normal Products of Modal Logics. | Yasusi Hasimoto |
| 2000 | Sahlqvist Formulas Unleashed in Polyadic Modal Languages. | Valentin Goranko, Dimiter Vakarelov |
| 2000 | From Bisimulation Quantifiers to Classifying Toposes. | Silvio Ghilardi, Marek W. Zawadowski |
| 2000 | Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. | Norman Y. Foo, Dongmo Zhang |
| 2000 | Algorithmic Correspondence Theory for Substructural Categorial Logic. | Marcelo Finger |
| 2000 | Towards a Many-Dimensional Modal Logic for Semantic Processing. | Tim Fernando |
| 2000 | Modal Logics with Weak Forms of Recursion: PSPACE Specimens. | Stphane Demri |
| 2000 | Bimodal Logics for Reasoning About Continuous Dynamics. | Jennifer M. Davoren, Rajeev Gor |
| 2000 | Weak Necessity on Weak Kleene Matrices. | Fabrice Correia |
| 2000 | Homophonic Theory of Truth for Tense Logic. | Torben Braner |
| 2000 | Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting. | Nuel D. Belnap Jr. |
| 2000 | From Description to Hybrid Logics, and Back. | Carlos Areces, Maarten de Rijke |
| 1998 | The Origins of Modern Modal Logic. | Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing |
| 1998 | Dynamic Description Logics. | Frank Wolter, Michael Zakharyaschev |
| 1998 | Canonical Pseudo-Correspondence. | Yde Venema |
| 1998 | Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. | Yoshihito Tanaka, Hiroakira Ono |
| 1998 | Propositions, Propositional Attitudes and Belief Revision. | Rohit Parikh |
| 1998 | A Co-Variety-Theorem for Modal Logic. | Alexander Kurz |
| 1998 | Logic and Syntax-A Personal Perspective. | Marcus Kracht |
| 1998 | A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic. | Rosalie Iemhoff |
| 1998 | Abductive Reasoning over Temporal Specifications of Objects. | Paula Gouveia, Cristina Sernadas |
| 1998 | Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. | Valentin Goranko, Dimiter Vakarelov |
| 1998 | A Resolution-Based Decision Procedure for Extensions of K4. | Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt |