Skip to main content alibris logo
Displaying Modal Logic - Wansing, Heinrich
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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


Displaying Modal Logic 1998, Springer, Dordrecht

ISBN-13: 9780792352051

1998 edition