Imre Rusza

Modal Logic with Descriptions

• Broschiertes Buch

Produktbeschreibung

¿0 The pre-history of the topic.- ¿1 The grammar of the Q systems.- ¿2 The semantics of the Q systems.- ¿3 Descriptions.- ¿4 Statability atoms.- ¿5 Relevance conditions.- ¿6 Some irrefutable and refutable sentences.- ¿7 The Q calculi.- ¿8 Basic metatheorems on the Q calculi.- ¿9 Deductions. Further derived rules.- ¿10 Consistent and complete sets.- ¿11 Hypercomplete and compossible sets.- ¿12 Alternatives and successors of hypercomplete sets.- ¿13 Tree structures.- ¿14 The completeness theorem.- Appendix 1: Deontic logic.- References.- List of symbols.- List of abbreviations.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Nijhoff International Philosophy Series Vol.10
• Verlag: Springer / Springer Netherlands
• Artikelnr. des Verlages: 978-90-481-8266-4
• 1981
• Seitenzahl: 140
• Erscheinungstermin: 25. Dezember 2010
• Englisch
• Abmessung: 235mm x 155mm x 8mm
• Gewicht: 224g
• ISBN-13: 9789048182664
• ISBN-10: 9048182662
• Artikelnr.: 32095065

Inhaltsangabe

0 The pre-history of the topic.- 1 The grammar of the Q systems.- 2 The semantics of the Q systems.- 3 Descriptions.- 4 Statability atoms.- 5 Relevance conditions.- 6 Some irrefutable and refutable sentences.- 7 The Q calculi.- 8 Basic metatheorems on the Q calculi.- 9 Deductions. Further derived rules.- 10 Consistent and complete sets.- 11 Hypercomplete and compossible sets.- 12 Alternatives and successors of hypercomplete sets.- 13 Tree structures.- 14 The completeness theorem.- Appendix 1: Deontic logic.- References.- List of symbols.- List of abbreviations.