edited by Marcus Kracht, Maarten de Rijke, Heinrich Wansing, and Michael Zakharyaschev

Modal logic originated in philosophy as the logic of necessity and possibility. Nowadays it has reached a high level of mathematical sophistication and found many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics.

This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings.

“This collection is a useful resource for anyone working in modal logic. It contains both interesting surveys and cutting-edge technical results”

*
—Edwin D. Mares*

The Bulletin of Symbolic Logic, March 2002

Marcus Kracht teaches mathematics and logic at the Free University og Berlin. Maarten de Rijke is Assistant Professor at the Institute for Logic, Language and Computation at the University of Amsterdam. Heinrich Wansing is affiliated with the Institute of Logic and Philosophy of Science at the University of Leipzig. Michael Zakharyaschev is an Alexander von Humboldt Research Fellow at Mathematisches Institut, Free University of Berlin, and a senior research fellow at the Russian Academy of Sciences, Moscow.

- Contributors
- Advances in Modal Logic
- Preface
- 1 Shakespearian Modal Logic: A Labelled Treatment of Modal Identity

Alberto Artosi, Paola Benassi, Guido Governatori, and Antonino Rotolo
- 2 Terminological Modal Logic

Philippe Balbiani
- 3 What Are Hybrid Languages?

Patrick Blackburn and Jerry Seligman
- 4 On the Degree of Neighborhood Incompleteness of Normal Modal Logics

Lilia Chagrova
- 5 Uniform Interpolation, Automata and the Modal
*μ*-Calculus

Giovanna D'Agostino and Marco Hollenberg
- 6 Fischer Servi's Intuitionistic Modal Logic has the Finite Model Property

Carsten Grefe
- 7 Topological Nexttime Logic

Bernhard Heinemann
- 8 On the Incompleteness of Modal Logics od Space: Advancing Complete Modal Logics of Place

Oliver Lemon and Ian Pratt
- 9 Interpolation in Superintuitionistic and Modal Predicate Logics with Equality

Larisa Maksimova
- 10 Mosaics and Cylindric Modal Logic of Dimension 2

Maarten Marx
- 11 Cut-Free Indexed Calculi for Modal Logics Containing the Barcan Axiom

Aida Pliuškevičienė
- 12 Minmal Knowledge States in Nonmonotonic Modal Logics

Riccardo Rosati
- 13 Resolution is a Decision Procedure for Many Propositional Modal Logics

Renate A. Schmidt
- 14 On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part I)

Valentin Schehtman
- 15 Duality in Superintuitionistic and Modal Predicate Logics

Hiroyuki Shirasu
- 16 On the Relationship between Models of Parallel Computations

Vladimir V. Spanopulo and Vladimir A. Zakharov
- 17 On Isomorphisms between Canonical Frames

Timothy J. Surendonk
- 18 Hyper Arrow Structures. Arrow Logics III

Dimiter Vakarelov
- 19 Atom Structures

Yde Venema
- 20 An Overview of Interpretability Logic

Albert Visser
- 21 Fusions of Modal Logics Revisited

Frank Wolter
- Name Index
- Subject Index

4/3/98