![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Handbook 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.