Hybrid Logic and Its Proof-Theory

Autor*innen

• Torben Braüner

Parameter

• 231 Seiten
• 9 Lesestunden

• Lehrbücher
• Philosophie
• Wissenschaftsgeschichte & -theorie

Mehr zum Buch

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.

• Sprache: Englisch
• Erscheinungsdatum: 2010
• Einband: Hardcover