Handbook of modal logic / ed. by Blackburn P., van Benthem J.P., Wolter F. - Amsterdam; Boston: Elsevier, 2007. - (Studies in logic and practical reasoning; 3). - ISBN 978-0-444-51690-9; ISSN 1570-2464  Место хранения:   013 | Институт математики СО РАН | Новосибирск | Библиотека

Оглавление / Contents

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