In Modal Logic for Open Minds, Johan van Benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, examining its relationship to language, semantics, bisimulation, and axiomatics, and then covers more advanced topics, such as expressive power, computational complexity, and intelligent agency. Many of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics.
| Preface |
|
ix | |
|
1 A whirlwind history, and changes in Perspective |
|
|
1 | (6) |
|
|
|
7 | (64) |
|
2 Basic language and semantics |
|
|
11 | (14) |
|
3 Expressive Power and invariance |
|
|
25 | (12) |
|
4 Validity and decidability |
|
|
37 | (12) |
|
5 Axioms, proofs, and completeness |
|
|
49 | (12) |
|
6 Computation and complexity |
|
|
61 | (10) |
|
|
|
71 | (56) |
|
7 Translation and varieties of expressive power |
|
|
75 | (16) |
|
8 Increasing deductive power: the landscape of modal logics |
|
|
91 | (10) |
|
9 What axioms say: frame correspondence |
|
|
101 | (8) |
|
10 Descriptive power: extended modal languages |
|
|
109 | (10) |
|
|
|
119 | (8) |
|
III Selected Applications |
|
|
127 | (124) |
|
|
|
133 | (14) |
|
13 Doxastic and conditional logic |
|
|
147 | (8) |
|
14 Dynamic logic of actions and events |
|
|
155 | (16) |
|
15 Logic and information dynamics |
|
|
171 | (18) |
|
16 Preference and deontic logic |
|
|
189 | (8) |
|
|
|
197 | (10) |
|
18 The structure and flow of time |
|
|
207 | (12) |
|
19 Modal patterns in space |
|
|
219 | (14) |
|
|
|
233 | (10) |
|
|
|
243 | (8) |
|
IV Recent Theoretical Themes |
|
|
251 | (60) |
|
22 Fixed-points, computation, and equilibrium |
|
|
255 | (10) |
|
23 Issues in information dynamics |
|
|
265 | (16) |
|
24 System combination and undecidability |
|
|
281 | (12) |
|
|
|
293 | (10) |
|
26 Deductive incompleteness |
|
|
303 | (8) |
|
|
|
311 | (12) |
|
27 Modal foundations for classical logic |
|
|
315 | (8) |
| A First-order predicate logic |
|
323 | (10) |
| B Modal algebra |
|
333 | (8) |
| Answers and hints to selected exercises |
|
341 | (30) |
| Guide to further literature |
|
371 | (2) |
| References |
|
373 | (6) |
| Index |
|
379 | |
Johan van Benthem is University Professor of pure and applied logic at the University of Amsterdam, the Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and the Weilun Visiting Professor of Humanities at Tsinghua University in Beijing.
