Displaying Modal Logic
Heinrich Wansing
Broschiertes Buch

Displaying Modal Logic

Versandkostenfrei!
Versandfertig in 6-10 Tagen
104,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
52 °P sammeln!
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 few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. The proof-theory of non-classical logics is a ra...