• Produktbild: Self-Reference and Modal Logic
  • Produktbild: Self-Reference and Modal Logic

Self-Reference and Modal Logic

Aus der Reihe Universitext

109,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.09.1985

Abbildungen

333 p.

Verlag

Springer Us

Seitenzahl

333

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

Softcover reprint of the original 1st ed. 1985

Sprache

Englisch

ISBN

978-0-387-96209-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.09.1985

Abbildungen

333 p.

Verlag

Springer Us

Seitenzahl

333

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

Softcover reprint of the original 1st ed. 1985

Sprache

Englisch

ISBN

978-0-387-96209-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Self-Reference and Modal Logic
  • Produktbild: Self-Reference and Modal Logic
  • 0. Introduction.- 1. The Incompleteness Theorems.- 2. Self-Reference.- 3. Things to Come.- 4. The Theory PRA.- 5. Encoding Syntax in PRA.- 6. Additional Arithmetic Prerequisites.- I. The Logic of Provability.- 1. Provability as Modality.- 2. Modal Model Theory.- 3. Arithmetic Interpretations of PRL.- II. Multi-Modal Logic and Self-Reference.- 4. Bi-Modal Logics and Their Arithmetic Interpretations.- 5. Fixed Point Algebras.- III. Non-Extensional Self-Reference.- 6. Rosser Sentences.- 7. An Ubiquitous Fixed Point Calculation.