Modal Logic
An Introduction
Seiten
1980
Cambridge University Press (Verlag)
978-0-521-29515-4 (ISBN)
Cambridge University Press (Verlag)
978-0-521-29515-4 (ISBN)
Modality is a rapidly expanding branch of logic and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability.
A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an up-to-date and reliable guide essential for the student.
A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an up-to-date and reliable guide essential for the student.
Contents; Preface; Part I: 1. Introduction; 2. Logical preliminaries; Part II: 3. Standard models for modal logics: 4. Normal systems of modal logic; 5. Determination and decidability for normal systems; 6. Deontic logic; Part III: 7. Minimal models for modal logics; 8. Classical systems of modal logic; 9. Determination and decidability for classical systems; 10. Conditional logic; Select bibliography; Index of symbols; Index of schemas, rules, and systems, Index of subjects.
| Erscheint lt. Verlag | 29.2.1980 |
|---|---|
| Zusatzinfo | Worked examples or Exercises |
| Verlagsort | Cambridge |
| Sprache | englisch |
| Maße | 153 x 230 mm |
| Gewicht | 510 g |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| ISBN-10 | 0-521-29515-7 / 0521295157 |
| ISBN-13 | 978-0-521-29515-4 / 9780521295154 |
| 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)
18,00 €
