Hybrid Logic and Its Proof-Theory

En savoir plus sur le livre

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.