§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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: Antiquariat Haufe & Lutz, Karlsruhe, BW, Germania
8°. 135 S. OPbd. (Nijhoff international philosophy series volume 10). Gutes Exemplar. Codice articolo 83637CB
Quantità: 1 disponibili
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In. Codice articolo ria9789024724734_new
Quantità: Più di 20 disponibili
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 140 pp. Englisch. Codice articolo 9789024724734
Quantità: 2 disponibili
Da: moluna, Greven, Germania
Gebunden. Condizione: New. Codice articolo 5813387
Quantità: Più di 20 disponibili
Da: preigu, Osnabrück, Germania
Buch. Condizione: Neu. Modal Logic with Descriptions | Imre Rusza | Buch | x | Englisch | 1981 | Springer Netherland | EAN 9789024724734 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Codice articolo 101959655
Quantità: 5 disponibili
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch. Codice articolo 9789024724734
Quantità: 1 disponibili
Da: AHA-BUCH GmbH, Einbeck, Germania
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9789024724734
Quantità: 1 disponibili