Beschreibung:
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.
Preface Acknowledgements 1. Argument and modality Part I 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 II 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