List of Contributors .......................................... vii
Preface ........................................................ xi
P. Blackburn, J. van Benthem and F. Wolter
Part 1. Basic Theory
1. Modal Logic: A Semantic Perspective .......................... 1
P. Blackburn and J. van Benthem
2. Modal Proof Theory .......................................... 85
M. Fitting
3. Complexity of Modal Logic .................................. 139
M. Marx
4. Computational Modal Logic .................................. 181
I. Horrocks, U. Hustadt, U. Sattler, and R. Schmidt
Part 2. Advanced Theory
5. Model Theory of Modal Logic ................................ 249
V. Goranko and M. Otto
6. Algebras and Co-algebras ................................... 331
Y. Venema
7. Modal Decision Problems .................................... 427
F. Wolter and M. Zakharyaschev
8. Modal Consequence Relations ................................ 491
M. Kracht
Part 3. Variations and Extensions
9. First-order Modal Logic .................................... 549
T. Braiiner and S. Ghilardi
10.Higher-order Modal Logic ................................... 621
R. Muskens
11.Temporal Logic ............................................. 655
I. Hodkinson and M.Reynolds
12.Modal μ-calculi ............................................ 721
J. Bradfield and C.Stirling
13.Description Logic .......................................... 757
F. Baader and C.Lutz
14.Hybrid Logics .............................................. 821
C. Areces and B.ten Cate
15.Combining Modal Logics ..................................... 869
A. Kurucz
Part 4. Applications
16.Modal Logic in Mathematics ................................. 927
S. Artemov
17.Automata-theoretic Techniques for Temporal Reasoning ....... 971
M. Vardi
18.Intelligent Agents and Common-sense Reasoning .............. 991
J.-J. Meyer and F. Veltman
19.Applications of Modal Logic in Linguistics ................ 1031
L. Moss and H.-J. Tiede
20.Modal Logic for Games and Information ..................... 1077
W. van der Hoek and M. Pauly
21.Modal Logic and Philosophy ................................ 1149
S. Lindström and K. Segerberg
Index ........................................................ 1215
|
