Modal logic for philosophers /
| Tác giả chính: | |
|---|---|
| Định dạng: | Licensed eBooks |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Cambridge ; New York :
Cambridge University Press,
2006.
|
| Truy cập trực tuyến: | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=527569 |
Mục lục:
- Introduction : what is modal logic?
- 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 relation
- 6. Trees for extensions of K
- 7. Converting trees to proofs
- 8. Adequacy of propositional modal logics
- 9. Completeness using canonical models
- 10. Axioms and their corresponding conditions on R
- 11. Relations between the modal logics
- 12. Systems for quantified modal logic
- 13. Semantics for quantified modal logics
- 14. Trees for quantified modal logic
- 15. The adequacy of quantified modal logics
- 16. Completeness of quantified modal logics using trees.