Hybrid Logic and its Proof-Theory

Autor*innen

• Torben Braüner

Parameter

• 248 Seiten
• 9 Lesestunden

• Lehrbücher
• Philosophie
• Wissenschaftsgeschichte & -theorie

Mehr zum Buch

This book offers a comprehensive exploration of hybrid logic and its proof-theory, extending modal logic to allow explicit references to individual points in models. It addresses deficiencies in traditional modal proof systems by presenting a range of effective proof systems for various hybrid logics, enhancing reasoning about specific instances.

• Sprache: Englisch
• Erscheinungsdatum: 2013
• Einband: Paperback