Book contents
- Frontmatter
- Contents
- Preface
- Introduction
- 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 ω-consistency
- 16 On GLB: The fixed point theorem, letterless sentences, and analysis
- 17 Quantified provability logic
- 18 Quantified provability logic with one one-place predicate letter
- Notes
- Bibliography
- Index
- Notation and symbols
Frontmatter
Published online by Cambridge University Press: 08 January 2010
- Frontmatter
- Contents
- Preface
- Introduction
- 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 ω-consistency
- 16 On GLB: The fixed point theorem, letterless sentences, and analysis
- 17 Quantified provability logic
- 18 Quantified provability logic with one one-place predicate letter
- Notes
- Bibliography
- Index
- Notation and symbols
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9780511625183/resource/name/firstPage-9780511625183pre_pi-vi_CBO.jpg)
- Type
- Chapter
- Information
- The Logic of Provability , pp. i - viPublisher: Cambridge University PressPrint publication year: 1994