内容

目次

List of Contributors Preface (P. Blackburn, J. van Benthem and F. Wolter) Part 1. Basic TheoryModal 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, R. Schmidt)Part 2. Advanced TheoryModel 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 ExtensionsFirst-order Modal Logic (T. Bräuner and S. Ghilardi)Higher Order Modal Logic (R. Muskens)Temporal Logic (I. Hodkinson and M. Reynolds)Modal Mu-Calculi (J. Bradfield and C. Stirling)Description Logic (F. Baader and C. Lutz)Hybrid Logics (C. Areces adn B. ten Cate)Combining Modal Logics (A. Kurucz)Part 4. Variations and ExtensionsModal 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 Lingistics (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)Index