Handbook of modal logic
edited by Patrick Blackburn, Johan van Benthem, Frank Wolter.
1st ed.
Amsterdam : Elsevier, 2007.
p. cm.
Serie: Studies in logic and practical reasoning ; v. 3
ISBN: 9780444516909, 0444516905
Incluye referencias bibliográficas e índice.
Reseña: Zbl, 1114.03001
Contenido
- Preface (P. Blackburn, J. van Benthem and F. Wolter). Part 1. Basic theory: Modal logic: a semantic perspective (J. van Benthem and P. Blackburn); Modal proof theory (M. Fitting); Complexity of modal logic (M. Marx); Computational modal logic (I. Horrocks, U. Hustadt, U. Sattler and R. Schmidt). Part 2. Advanced theory: Model theory of modal logic (V. Goranko and M. Otto); Algebras and co-algebras (Y. Venema); Modal decision problems (F. Wolter and M. Zakharyaschev); Modal consequence relations (M. Kracht). Part 3. Variations and extensions: First-order modal logic (T. Braüner and S. Ghilardi); Higher-order modal logic (R. Muskens); Temporal logic (I. Hodkinson and M. Reynolds); Modal mu-calculus (J. Bradfield and C. Stirling); Description logic (F. Baader and C. Lutz); Hybrid logics (C. Areces and B. ten Cate); Combining modal logics (A. Kurucz). Part 4. Applications: Modal logic in mathematics (S. Artemov); Automata-theoretic techniques for temporal reasoning (M. Vardi); Intelligent agents and common-sense reasoning (J.-J. Meyer and F. Veltman); Applications of modal logic in linguistics (L. Moss and H.-J. Tiede); Modal logic for games and information (W. van der Hoek and M. Pauly); Modal logic and philosophy (S. Lindström and K. Segerberg).
