M. J. Cresswell, G. E. Hughes

A New Introduction to Modal Logic (eBook, PDF)

• Format: PDF

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
• Seitenzahl: 432
• Erscheinungstermin: 6. August 2012
• Englisch
• ISBN-13: 9781134800285
• Artikelnr.: 38250587

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