The book is currently out of stock
Parameters
More about the book
This monograph presents a refined exploration of proof systems for modal and constructive logics, focusing on display logic. It discusses generalized Gentzen systems, comparing various approaches and their pros and cons. The book includes introductory material and acknowledges contributions and support received during its development.
Book purchase
Displaying Modal Logic, H. Wansing
- Language
- Released
- 1998
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.