| Description |
xxxvi, 275 pages ; 24 cm |
| Contents |
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 |
| Analysis |
Mathematical logic |
|
Mathematical logic |
| Notes |
M copy is 1994 printing |
| Bibliography |
Includes bibliographical references (pages [262]-269) and index |
| Subject |
Modality (Logic)
|
|
Proof theory.
|
| LC no. |
92043610 |
| ISBN |
0521433428 (hardback) |
|
0521483255 (paperback) |
|
