Imre Rusza

Modal Logic with Descriptions

• Gebundenes Buch

Produktdetails

• Nijhoff International Philosophy Series 10
• Verlag: Springer / Springer Netherlands
• Artikelnr. des Verlages: 978-90-247-2473-4
• 1981
• Seitenzahl: 140
• Erscheinungstermin: 30. September 1981
• Englisch
• Abmessung: 241mm x 160mm x 13mm
• Gewicht: 376g
• ISBN-13: 9789024724734
• ISBN-10: 9024724732
• Artikelnr.: 23065549

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.