The Unprovability of Consistency : An Essay in Modal Logic (Paperback)

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.