Displaying Modal Logic - Wansing, Heinrich

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

Displaying Modal Logic 2010, Springer, Dordrecht

ISBN-13: 9789048150793

Trade paperback

Displaying Modal Logic 1998, Springer, Dordrecht, Netherlands

ISBN-13: 9780792352051

1998 edition