1. Modal logic : a semantic perspective / P. Blackburn and J. van Benthem
2. Modal proof theory / M. Fitting
3. Complexity of modal logic / M. Marx
4. Computational modal logic / I. Horrocks, U. Hustadt, U. Sattler and R. Schmidt
5. Model theory of modal logic / V. Goranko and M. Otto
6. Algebras and co-algebras / Y. Venema
7. Modal decision problems / F. Wolter and M. Zakharyaschev
8. Modal consequence relations / M. Kracht
9. First-order modal logic / T. Brauner and S. Ghilardi
10. Higher-order modal logic / R. Muskens
11. Temporal logic / I. Hodkinson and M. Reynolds
12. Modal [mu]-calculi / J. Bradfield and C. Stirling
13. Description logic / F. Baader and C. Lutz
14. Hybrid logics / C. Areces and B. ten Cate
15. Combining modal logics / A. Kurucz
16. Modal logic in mathematics / S. Artemov
17. Automata-theoretic techniques for temporal reasoning / M. Vardi
18. Intelligent agents and common-sense reasoning / J.-J. Meyer and F. Veltman
19. Applications of modal logic in linguistics / L. Moss and H.-J. Tiede
20. Modal logic for games and information / W. van der Hoek and M. Pauly
21. Modal logic and philosophy / S. Lindstrom and K. Segerberg.
