Advances in Modal Logic 1998: Uppsala, Sweden

• Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing: The Origins of Modern Modal Logic. BibTeX
• Alexandru Baltag: STS: A Structural Theory of Sets. 1-34 BibTeX
• Carlos Areces, Eva Hoogland, Dick de Jongh: Interpolation, Definability and Fixed Points in Interpretability Logics. 35-58 BibTeX
• Sergei N. Artëmov: Operations on Proofs that can be Specified by Means of Modal Logic. 59-72 BibTeX
• Johan van Bentheim: Modal Logic in Two Gestalts. 73-100 BibTeX
• Guram Bezhanishvili, Revaz Grigolia: Locally Tabular Extensions of MIPC. 101-120 BibTeX
• Mark A. Brown: Conditional and Unconditional Obligation for Agents in Time. 121-154 BibTeX
• M. J. Cresswell: How to Complete Some Modal Predicate Logics. 155-178 BibTeX
• Dov M. Gabbay: Dznamics of Practical Reasoning: A Position Paper. 179-224 BibTeX
• Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt: A Resolution-Based Decision Procedure for Extensions of K4. 225-246 BibTeX
• Valentin Goranko, Dimiter Vakarelov: Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. 247-274 BibTeX
• Paula Gouveia, Cristina Sernadas: Abductive Reasoning over Temporal Specifications of Objects. 275-300 BibTeX
• Rosalie Iemhoff: A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic. 301-336 BibTeX
• Marcus Kracht: Logic and Syntax-A Personal Perspective. 337-366 BibTeX
• Alexander Kurz: A Co-Variety-Theorem for Modal Logic. 367-380 BibTeX
• Rohit Parikh: Propositions, Propositional Attitudes and Belief Revision. 381-400 BibTeX
• Yoshihito Tanaka, Hiroakira Ono: Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. 401-420 BibTeX
• Yde Venema: Canonical Pseudo-Correspondence. 421-430 BibTeX
• Frank Wolter, Michael Zakharyaschev: Dynamic Description Logics. 431-446 BibTeX