| 1998 | Dznamics of Practical Reasoning: A Position Paper. | Dov M. Gabbay |
| 1998 | How to Complete Some Modal Predicate Logics. | M. J. Cresswell |
| 1998 | Conditional and Unconditional Obligation for Agents in Time. | Mark A. Brown |
| 1998 | Locally Tabular Extensions of MIPC. | Guram Bezhanishvili, Revaz Grigolia |
| 1998 | Modal Logic in Two Gestalts. | Johan van Bentheim |
| 1998 | STS: A Structural Theory of Sets. | Alexandru Baltag |
| 1998 | Operations on Proofs that can be Specified by Means of Modal Logic. | Sergei N. Artmov |
| 1998 | Interpolation, Definability and Fixed Points in Interpretability Logics. | Carlos Areces, Eva Hoogland, Dick de Jongh |
| 1996 | Fusions of Modal Logics Revisited. | Frank Wolter |
| 1996 | An Overview of Interpretability Logic. | Albert Visser |
| 1996 | Atom Structures. | Yde Venema |
| 1996 | Hyper Arrow Structures. Arrow Logics~III. | Dimiter Vakarelov |
| 1996 | On Isomorphisms between Canonical Frames. | Timothy J. Surendonk |
| 1996 | On the Relationship between Models of Parallel Computations. | Vladimir V. Spanopulo, Vladimir A. Zakharov |
| 1996 | Duality in Superintuitionistic and Modal Predicate Logics. | Hiroyuki Shirasu |
| 1996 | On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part~I). | Valentin B. Shehtman |
| 1996 | Resolution is a Decision Procedure for Many Propositional Modal Logics. | Renate A. Schmidt |
| 1996 | Minimal Knowledge States in Nonmonotonic Modal Logics. | Riccardo Rosati |
| 1996 | Cut-Free Indexed Calculi for Modal Logics Containing the Barcan Axiom. | Aida Pliuskeviciene |
| 1996 | Mosaics and Cylindric Modal Logic of Dimension~2. | Maarten Marx |
| 1996 | Interpolation in Superintuitionistic and Modal Predicate Logics with Equality. | Larisa Maksimova |
| 1996 | On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place. | Oliver Lemon, Ian Pratt |
| 1996 | Topological Nexttime Logic. | Bernhard Heinemann |
| 1996 | Fischer Servi's Intuitionistic Modal Logic has the Finite Model Property. | Carsten Grefe |
| 1996 | Uniform Interpolation, Automata and the Modal μ-Calculus. | Giovanna D'Agostino, Marco Hollenberg |