A New Introduction to Modal Logic
Seiten
1996
Routledge (Verlag)
978-0-415-12600-7 (ISBN)
Routledge (Verlag)
978-0-415-12600-7 (ISBN)
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.
This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic.
A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works.
The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic.
This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic.
A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works.
The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic.
M.J. Cresswell, G.E. Hughes
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
| Erscheint lt. Verlag | 15.8.1996 |
|---|---|
| Verlagsort | London |
| Sprache | englisch |
| Maße | 138 x 216 mm |
| Gewicht | 540 g |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| ISBN-10 | 0-415-12600-2 / 0415126002 |
| ISBN-13 | 978-0-415-12600-7 / 9780415126007 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Gegenentwurf zum kurzfristigen Denken : so werden wir zu den …
Buch | Hardcover (2023)
REDLINE (Verlag)
CHF 27,90
Buch | Softcover (2023)
De Gruyter (Verlag)
CHF 34,90
