Handbook of Modal Logic

Description

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 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