Le livre est actuellement en rupture de stock
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.
Achat du livre
Hybrid Logic and Its Proof-Theory, Torben Braüner
- Langue
- Année de publication
- 2010
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .