| 2000 | Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 16-18 October 1998 Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing |
| 1998 | A Co-Variety-Theorem for Modal Logic. Alexander Kurz |
| 1998 | A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic. Rosalie Iemhoff |
| 1998 | A Resolution-Based Decision Procedure for Extensions of K4. Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt |
| 1998 | Abductive Reasoning over Temporal Specifications of Objects. Paula Gouveia, Cristina Sernadas |
| 1998 | Canonical Pseudo-Correspondence. Yde Venema |
| 1998 | Conditional and Unconditional Obligation for Agents in Time. Mark A. Brown |
| 1998 | Dynamic Description Logics. Frank Wolter, Michael Zakharyaschev |
| 1998 | Dznamics of Practical Reasoning: A Position Paper. Dov M. Gabbay |
| 1998 | How to Complete Some Modal Predicate Logics. M. J. Cresswell |
| 1998 | Interpolation, Definability and Fixed Points in Interpretability Logics. Carlos Areces, Eva Hoogland, Dick de Jongh |
| 1998 | Locally Tabular Extensions of MIPC. Guram Bezhanishvili, Revaz Grigolia |
| 1998 | Logic and Syntax-A Personal Perspective. Marcus Kracht |
| 1998 | Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. Valentin Goranko, Dimiter Vakarelov |
| 1998 | Modal Logic in Two Gestalts. Johan van Bentheim |
| 1998 | Operations on Proofs that can be Specified by Means of Modal Logic. Sergei N. Artëmov |
| 1998 | Propositions, Propositional Attitudes and Belief Revision. Rohit Parikh |
| 1998 | Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. Yoshihito Tanaka, Hiroakira Ono |
| 1998 | STS: A Structural Theory of Sets. Alexandru Baltag |
| 1998 | The Origins of Modern Modal Logic. Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing |