• Produktbild: The Logic of Provability
  • Produktbild: The Logic of Provability

The Logic of Provability

Fr. 57.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.06.2003

Verlag

Cambridge Academic

Seitenzahl

316

Maße (L/B/H)

22.9/15.2/1.9 cm

Gewicht

447 g

Sprache

Englisch

ISBN

978-0-521-48325-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.06.2003

Verlag

Cambridge Academic

Seitenzahl

316

Maße (L/B/H)

22.9/15.2/1.9 cm

Gewicht

447 g

Sprache

Englisch

ISBN

978-0-521-48325-4

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: The Logic of Provability
  • Produktbild: The Logic of Provability
  • 1. GL and other systems of propositional modal logic; 2. Peano arithmetic; 3. The box as Bew(x); 4. Semantics for GL and other modal logics; 5. Completeness and decidability of GL and K, K4, T, B, S4, and S5; 6. Canonical models; 7. On GL; 8. The fixed point theorem; 9. The arithmetical completeness theorems for GL and GLS; 10. Trees for GL; 11. An incomplete system of modal logic; 12. An S4 -preserving proof-theoretical treatment of modality; 13. Modal logic within set theory; 14. Modal logic within analysis; 15. The joint provability logic of consistency and w-consistency; 16. On GLB: the fixed point theorem, letterless sentences, and analysis; 18. Quantified provability logic with one one-place predicate letter; Notes; Bibliography; Index.