Handbook of Modal Logic

Patrick Blackburn, Johan van Benthem, and Frank Wolter

patrick.blackburn@loria.fr   johan@science.uva.nl   frank@csc.liv.ac.uk

Available as EBook at ScienceDirect

Picture from the Handbook meeting in Amsterdam in 2004

Table of Contents

• Preface pdf-file

  Authors: Patrick Blackburn, Johan van Benthem, Frank Wolter.

• Part 1: Basic Theory

  1. Modal logic: a semantic perspective    Introduction ps    pdf    Authors: Patrick Blackburn and Johan van Benthem

  2. Modal proof theory    Introduction ps    pdf    Author: Melvin Fitting

  3. Complexity of modal logic    Introduction ps    pdf    Author: Marten Marx

  4. Computational modal logic    Introduction ps    pdf    Authors: Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate Schmidt

• Part 2: Advanced Theory

  1. Model theory of modal logic   Introduction ps    pdf    Authors: Valentin Goranko and Martin Otto

  2. Algebras and co-algebras    Introduction ps    pdf    Author: Yde Venema

  3. Modal decision problems    Introduction ps    pdf    Authors: Frank Wolter and Michael Zakharyaschev

  4. Modal consequence relations    Introduction ps    pdf    Author: Marcus Kracht

• Part 3: Variations and Extensions

  1. First-order modal logic    Introduction ps    pdf    Authors: Torben Braüner and Silvio Ghilardi

  2. Higher-order modal logic    Introduction ps    pdf    Author: Reinhard Muskens

  3. Temporal logic    Introduction ps    pdf    Authors: Ian Hodkinson and Mark Reynolds

  4. PDL and modal $\mu$-calculus    Introduction ps    pdf    Authors: Julien Bradfield and Colin Stirling

  5. Description logic    Introduction ps    pdf    Authors: Franz Baader and Carsten Lutz

  6. Hybrid logics    Introduction ps    pdf    Author: Carlos Areces and Balder ten Cate

  7. Combining modal logics    Introduction ps    pdf    Author: Agi Kurucz

• Part 4: Applications

  1. Modal logic in mathematics    Introduction ps    pdf    Author: Sergei Artemov

  2. Automata-theoretic techniques for temporal reasoning    Introduction ps    pdf    Author: Moshe Vardi

  3. Intelligent agents and commonsense reasoning    Introduction ps    pdf    Authors: John-Jules Meyer and Frank Veltman

  4. Applications of modal logic in linguistics    Introduction ps    pdf    Author: Lawrence S. Moss and Hans-Joerg Tiede

  5. Modal logic for games and information    Introduction ps    pdf    Authors: Wiebe van der Hoek and Marc Pauly

  6. Modal logic and Philosophy    Introduction ps    pdf    Authors: Sten Lindstroem and Krister Segerberg