Description
Book Synopsis
One / Introduction.- Two / Sequents Generalized.- Three / Display Logic.- Four / Properly Displayable Logics, Displayable Logics and Strong Cut-Elimination.- Five / A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics.- Six / Modal Tableaux Based on Residuation.- Seven / Strong Cut-Elimination and Labelled Modal Tableaux.- Eight / Tarskian Structured Consequence Relations and Functional Completeness.- Nine / Constructive Negation and the Modal Logic of Consistency.- Ten / Displaying as Temporalizing.- Eleven / Translation of Hypersequents into Display Sequents.- Twelve / Predicate Logics on Display.- Thirteen / Appendix.
Table of Contents
Preface. 1. Introduction. 2. Sequents Generalized. 3. Display Logic. 4. Properly Displayable Logics, Displayable Logics and Strong Cut-Elimination. 5. A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics. 6. Modal Tableaux Based on Residuation. 7. Strong Cut-Elimination and Labelled Modal Tableaux. 8. Tarskian Structured Consequence Relations and Functional Completeness. 9. Constructive Negation and the Modal Logic of Consistency. 10. Displaying as Temporalizing. 11. Translation of Hypersequents into Display Sequents. 12. Predicate Logics on Display. 13. Appendix. Bibliography. Index.
