Cover -- Half Title -- Title Page -- Copyright Page -- Table of Contents -- Preface -- 1 Argument and modality -- Part 1 Formal systems -- 2 A simple modal logic -- 3 The normal modal logics -- 4 The non-normal modal logics -- 5 Natural deduction and axiomatics -- 6 Conditional logic -- 7 Modal predicate logics -- 8 Quantifiers and existence -- Part 2 Applications -- 9 Alethic modality -- 10 Temporal logic -- 11 Dynamic logic -- 12 Epistemic logic -- 13 Deontic logic -- 14 Conditionals and reliability -- 15 Synthesis and worlds -- Answers -- Index.
Offers a comprehensive introduction to modal logics and their application suitable for course use. This book places its emphasis on showing how useful modal logic can be as a tool for formal philosophical analysis. It explores the applications of modal logic to philosophical issues such as truth, time, processes, and knowledge and belief.