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 F.A.K. van Benthem, Frank Wolter (eds.)
Series: Studies in Logic and Practical Reasoning 3
Publisher: Elsevier
Year: 2007
Language: English
Pages: 1254
Content:
Contributors
Pages vii-x
Preface
Pages xi-xxiii
Patrick Blackburn, Johan van Benthem, Frank Wolter
1 Modal logic: a semantic perspective
Pages 1-84
Patrick Blackburn, Johan van Benthem
2 Modal proof theory
Pages 85-138
Melvin Fitting
3 Complexity of modal logic
Pages 139-179
Maarten Marx
4 Computational modal logic
Pages 181-245
Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate Schmidt
5 Model theory of modal logic
Pages 249-329
Valentin Goranko, Martin Otto
6 Algebras and coalgebras
Pages 331-426
Yde Venema
7 Modal decision problems
Pages 427-489
Frank Wolter, Michael Zakharyaschev
8 Modal consequence relations
Pages 491-545
Marcus Kracht
9 First-order modal logic
Pages 549-620
Torben Braüner, Silvio Ghilardi
10 Higher order modal logic
Pages 621-653
Reinhard Muskens
11 Temporal logic
Pages 655-720
Ian Hodkinson, Mark Reynolds
12 Modal mu-calculi
Pages 721-756
Julian Bradfield, Colin Stirling
13 Description logic
Pages 757-819
Franz Baader, Carsten Lutz
14 Hybrid logics
Pages 821-868
Carlos Areces, Balder ten Cate
15 Combining modal logics
Pages 869-924
Agi Kurucz
16 Modal logic in mathematics
Pages 927-969
Sergei Artemov
17 Automata-theoretic techniques for temporal reasoning
Pages 971-989
Moshe Y. Vardi
18 Intelligent agents and common sense reasoning
Pages 991-1029
John-Jules Meyer, Frank Veltman
19 Applications of modal logic in linguistics
Pages 1031-1076
Lawrence S. Moss, Hans-Jörg Tiede
20 Modal logic for games and information
Pages 1077-1148
Wiebe van der Hoek, Marc Pauly
21 Modal logic and philosophy
Pages 1149-1214
Sten Lindström, Krister Segerberg
Index
Pages 1215-1231
