M. J. Cresswell, G. E. Hughes

A New Introduction to Modal Logic (eBook, ePUB)

• Format: ePub

Produktbeschreibung

This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis eBooks
• Seitenzahl: 432
• Erscheinungstermin: 6. August 2012
• Englisch
• ISBN-13: 9781134800278
• Artikelnr.: 38266531

Autorenporträt

M.J. Cresswell, G.E. Hughes

Inhaltsangabe

Preface, Part One: Basic Modal Propositional Logic, 1. The Basic Notions, 2. The Systems K, T and D, 3. The Systems S4, S5, B, Triv and Ver, 4. Testing for validity, 5. Conjunctive Normal Form, 6. Completeness, Part Two: Normal Modal Systems, 7. Canonical Models, 8. Finite Models, 9. Incompleteness, 10. Frames and Systems, 11. Strict Implication, 12. Glimpses Beyond, Part Three: Modal Predicate Logic, 13. The Lower Predicate Calculus, 14. The Completeness of Modal LPC, 15. Expanding Domains, 16. Modality and Existence, 17. Identity and Descriptions, 18. Intensional Objects, 19. Further Issues, Axioms, Rules and Systems, Solutions to Selected Exercises, Bibliography, Index