CSLI Publications logo
new books
knuth books
for authors
CSLI Publications
Facebook CSLI Publications RSS feed
CSLI Publications Newsletter Signup Button
Advances in Modal Logic, Volume 1 cover

Advances in Modal Logic, Volume 1

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


ISBN (Paperback): 157586102X (9781575861029)
ISBN (Cloth): 1575861038 (9781575861036)
ISBN (Electronic): 1575868121 (9781575868127)

Information about other volumes can be found at AiML.NET including Volume 2 also by CSLI Publications.

Subject: Linguistics; Modality

Add to Cart
View Cart

Check Out

Distributed by the
University of
Chicago Press

pubs @ csli.stanford.edu