What is included with this book?
Introduction | |
1. The system K | |
2. Extensions of K | |
3. 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. The general axiom | |
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 | |
17. Completeness using canonical models | |
18. Descriptions | |
19. Lambda abstraction. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.