Abstract is missing.
- The Origins of Modern Modal LogicMichael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing.
- STS: A Structural Theory of SetsAlexandru Baltag. 1-34
- Interpolation, Definability and Fixed Points in Interpretability LogicsCarlos Areces, Eva Hoogland, Dick De Jongh. 35-58
- Operations on Proofs that can be Specified by Means of Modal LogicSergei N. Artëmov. 59-72
- Modal Logic in Two GestaltsJohan van Bentheim. 73-100
- Locally Tabular Extensions of MIPCGuram Bezhanishvili, Revaz Grigolia. 101-120
- Conditional and Unconditional Obligation for Agents in TimeMark A. Brown. 121-154
- How to Complete Some Modal Predicate LogicsM. J. Cresswell. 155-178
- Dznamics of Practical Reasoning: A Position PaperDov M. Gabbay. 179-224
- A Resolution-Based Decision Procedure for Extensions of K4Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt. 225-246
- Modal Logic and Universal Algebra I: Modal Axiomatizations of StructuresValentin Goranko, Dimiter Vakarelov. 247-274
- Abductive Reasoning over Temporal Specifications of ObjectsPaula Gouveia, Cristina Sernadas. 275-300
- A Modal Analysis of Some Principles of the Provability Logic of Heyting ArtihmeticRosalie Iemhoff. 301-336
- Logic and Syntax-A Personal PerspectiveMarcus Kracht. 337-366
- A Co-Variety-Theorem for Modal LogicAlexander Kurz. 367-380
- Propositions, Propositional Attitudes and Belief RevisionRohit Parikh. 381-400
- Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal LogicsYoshihito Tanaka, Hiroakira Ono. 401-420
- Canonical Pseudo-CorrespondenceYde Venema. 421-430
- Dynamic Description LogicsFrank Wolter, Michael Zakharyaschev. 431-446