George Boolos

The Unprovability of Consistency

An Essay in Modal Logic

• Broschiertes Buch

Produktbeschreibung

The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 196
• Erscheinungstermin: 30. August 2008
• Englisch
• Abmessung: 216mm x 140mm x 11mm
• Gewicht: 254g
• ISBN-13: 9780521092975
• ISBN-10: 0521092973
• Artikelnr.: 25468030

Inhaltsangabe

1. G and other normal modal propositional logics
2. Peano Arithmetic
3. The box as Bew
4. Some applications of G
5. Semantics for G and other modal logics
6. Canonical models
7. The completeness and decidability of G
8. Trees for G
9. Calculating the truth-values of fixed points
10. Rosser's theorem
11. The fixed-point theorem
12. Solovay's completeness theorems
13. An S4-preserving proof-theoretical treatment of modality
14. The Craig Interpolation Lemma for G.