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
