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

---

Frank Wolter; created: 20/05/03; last updated: 22/06/06.