Displaying modal logic
The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997.
XI, 252 Seiten : Diagramme ; 25 cm.
9780792352051, 079235205X
245723360
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.