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. It collects work on proof systems for modal and constructive logics I have done over the last...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
1998, 1998
|
| Edition: | 1st ed. 1998 |
| Series: | Trends in Logic, Studia Logica Library
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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