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 ...

Displaying Modal Logic 2010, Springer, Dordrecht

ISBN-13: 9789048150793

Trade paperback

Displaying Modal Logic 1998, Springer, Dordrecht, Netherlands

ISBN-13: 9780792352051

1998 edition