The book is currently out of stock
More about the book
Hybrid logic offers a novel approach to modal logic by enabling explicit references to individual points in a model, which is particularly beneficial for applications involving time. The book addresses the lack of consensus in proof-theory for ordinary modal logic, highlighting deficiencies in existing proof systems. It presents a comprehensive framework for hybrid-logical proof-theory, introducing a variety of robust proof systems, including natural deduction and tableau, across different hybrid logics, thus enhancing clarity and functionality in reasoning.
Book purchase
Hybrid Logic and Its Proof-Theory, Torben Braüner
- Language
- Released
- 2010
- 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.