Weekend Sale | Save $15. Get the code »

Displaying Modal Logic

by

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

loading
  • Book Details
  • Seller
Displaying Modal Logic
2010, Springer, Dordrecht

ISBN-13: 9789048150793

Paperback

Select
Displaying Modal Logic
1998, Springer, Dordrecht, Netherlands

ISBN-13: 9780792352051

1998 edition

Hardcover

Select
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency