The logic of provability
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press
1993
|
| Materias: | |
| Ver en Universidad de Navarra: | https://unika.unav.edu/discovery/fulldisplay?docid=alma991008981419708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es |
Tabla de Contenidos:
- 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 [omega]-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.
