Modal Logic for Philosophers

ISBN: 9780521682299 出版年：2006 页码：473 Garson Cambridge University Press

Preface to the second edition Introduction 1. The System K: a foundation for modal logic 2. Extensions of K 3. Basic concepts of intensional semantics 4. Trees for K 5. The accessibility of relation 6. Trees for extensions of K 7. Converting trees to proofs 8. Adequacy of propositional modal logics 9. Completeness of using canonical models 10. Axioms and their corresponding conditions on R 11. Relations between the modal logics 12. Systems of quantified modal logic 13. Semantics for quantified modal logics 14. Trees for quantified modal logics 15. The adequacy of quantified modal logics 16. Completeness of quantified modal logics using trees 17. Completeness using canonical models 18. Descriptions 19. Lambda abstraction 20. Conditionals.