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 few years. The main concern is display logic, a certain refinement of Gentzen''s sequent calculus de...