The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit:http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference- Computational approaches fully discussed- Contemporary applications of modal logic covered in depth
Author(s): Patrick Blackburn, Johan Van Benthem and Frank Wolter (Eds.)
Series: Studies in Logic and Practical Reasoning 3
Publisher: Elsevier Science
Year: 2007
Language: English
Pages: 1233
Content:
Contributors
Pages vii-x
Preface
Pages xi-xxiii
Patrick Blackburn, Johan van Benthem, Frank Wolter
1 Modal logic: a semantic perspective Original Research Article
Pages 1-84
Patrick Blackburn, Johan van Benthem
2 Modal proof theory Original Research Article
Pages 85-138
Melvin Fitting
3 Complexity of modal logic Original Research Article
Pages 139-179
Maarten Marx
4 Computational modal logic Original Research Article
Pages 181-245
Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate Schmidt
5 Model theory of modal logic Original Research Article
Pages 249-329
Valentin Goranko, Martin Otto
6 Algebras and coalgebras Original Research Article
Pages 331-426
Yde Venema
7 Modal decision problems Original Research Article
Pages 427-489
Frank Wolter, Michael Zakharyaschev
8 Modal consequence relations Original Research Article
Pages 491-545
Marcus Kracht
9 First-order modal logic Original Research Article
Pages 549-620
Torben Braüner, Silvio Ghilardi
10 Higher order modal logic Original Research Article
Pages 621-653
Reinhard Muskens
11 Temporal logic Original Research Article
Pages 655-720
Ian Hodkinson, Mark Reynolds
12 Modal mu-calculi Original Research Article
Pages 721-756
Julian Bradfield, Colin Stirling
13 Description logic Original Research Article
Pages 757-819
Franz Baader, Carsten Lutz
14 Hybrid logics Original Research Article
Pages 821-868
Carlos Areces, Balder ten Cate
15 Combining modal logics Original Research Article
Pages 869-924
Agi Kurucz
16 Modal logic in mathematics Original Research Article
Pages 927-969
Sergei Artemov
17 Automata-theoretic techniques for temporal reasoning Original Research Article
Pages 971-989
Moshe Y. Vardi
18 Intelligent agents and common sense reasoning Original Research Article
Pages 991-1029
John-Jules Meyer, Frank Veltman
19 Applications of modal logic in linguistics Original Research Article
Pages 1031-1076
Lawrence S. Moss, Hans-Jörg Tiede
20 Modal logic for games and information Original Research Article
Pages 1077-1148
Wiebe van der Hoek, Marc Pauly
21 Modal logic and philosophy Original Research Article
Pages 1149-1214
Sten Lindström, Krister Segerberg
Index
Pages 1215-1231
