Advances in Modal Logic, Volume 1

Marcus Kracht,
Maarten de Rijke,
Heinrich Wansing, and
Michael Zakharyaschev, editors

CSLI Publications, 1998

ISBN (Paperback): 157586102X
ISBN (Cloth): 1575861038

Volume 1 presents a selection of papers presented at "Advances in Modal Logic'96", the first international workshop of its kind, focusing exclusively on the theory and applications of modal logic.

Table of Contents

• Contributors, vii
• Advances in Modal Logic, xiii
• Preface, xv
• Shakespearian Modal Logic: A Labelled Treatment of Modal Identity, Alberto Artosi, Paola Benassi, Guido Governatori, and Antonino Rotolo, 1-21
• Terminological Modal Logic, Philippe Balbiani, 23-39
• What Are Hybrid Languages?, Patrick Blackburn and Jerry Seligman, 41-62
• On the Degree of Neighborhood Incompleteness of Normal Modal Logics, Lilia Chagrova, 63-72
• Uniform Interpolation, Automata and the Modal mu-Calculus, Giovanna D'Agostino and Marco Hollenberg, 73-84
• Fischer Servi's Intuitionistic Modal Logic has the Finite Model Property, Carsten Grefe, 85-98
• Topological Nexttime Logic, Bernhard Heinemann, 99-112
• On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place, Oliver Lemon and Ian Pratt, 115-132
• Interpolation in Superintuitionistic and Modal Predicate Logics with Equality, Larisa Maksimova, 133-140
• Mosaics and Cylindric Modal Logic of Dimension 2, Maarten Marx, 141-156
• Cut-Free Indexed Calculi for Modal Logics Containing the Barcan Axiom, Aida Pliuskeviciene, 157-172
• Minimal Knowledge States in Nonmonotonic Modal Logics, Riccardo Rosati, 173-187
• Resolution is a Decision Procedure for Many Propositional Modal Logics, Renate A. Schmidt, 189-208
• On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part I), Valentin Shehtman, 209-222
• Duality in Superintuitionistic and Modal Predicate Logics, Hiroyuki Shirasu, 223-236
• On the Relationship between Models of Parallel Computations, Vladimir V. Spanopulo and Vladimir A. Zakharov, 237-248
• On Isomorphisms between Canonical Frames, Timothy J. Surendonk, 249-268
• Hyper Arrow Structures. Arrow Logics III, Dimiter Vakarelov, 269-290
• Atom Structures, Yde Venema, 291-305
• An Overview of Interpretability Logic, Albert Visser, 307-359
• Fusions of Modal Logics Revisited, Frank Wolter, 361-379
• Name Index, 381
• Subject Index, 387