default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHandbook of Modal Logic 2007
- Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter:
Handbook of Modal Logic. Studies in logic and practical reasoning 3, North-Holland 2007, ISBN 978-0-444-51690-9 - Preface. xi-xxiii
- Patrick Blackburn
, Johan van Benthem:
Modal logic: a semantic perspective. 1-84 - Melvin Fitting:
Modal proof theory. 85-138 - Maarten Marx:
Complexity of modal logic. 139-179 - Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate A. Schmidt:
Computational modal logic. 181-245 - Valentin Goranko, Martin Otto:
Model theory of modal logic. 249-329 - Yde Venema:
Algebras and coalgebras. 331-426 - Frank Wolter, Michael Zakharyaschev:
Modal decision problems. 427-489 - Marcus Kracht:
Modal consequence relations. 491-545 - Torben Braüner, Silvio Ghilardi:
First-order modal logic. 549-620 - Reinhard Muskens:
Higher order modal logic. 621-653 - Ian M. Hodkinson, Mark Reynolds:
Temporal logic. 655-720 - Julian C. Bradfield, Colin Stirling:
Modal mu-calculi. 721-756 - Franz Baader, Carsten Lutz:
Description logic. 757-819 - Carlos Areces, Balder ten Cate:
Hybrid logics. 821-868 - Agi Kurucz:
Combining modal logics. 869-924 - Sergei N. Artëmov:
Modal logic in mathematics. 927-969 - Moshe Y. Vardi:
Automata-theoretic techniques for temporal reasoning. 971-989 - John-Jules Ch. Meyer, Frank Veltman:
Intelligent agents and common sense reasoning. 991-1029 - Lawrence S. Moss, Hans-Jörg Tiede:
Applications of modal logic in linguistics. 1031-1076 - Wiebe van der Hoek, Marc Pauly:
Modal logic for games and information. 1077-1148 - Sten Lindström, Krister Segerberg:
Modal logic and philosophy. 1149-1214
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-22 00:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
