Hybrid Logic and its Proof-Theory

• Main Author: Braüner, Torben (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2011.
• Series: Applied Logic Series, 37
• Subjects: Philosophy.; Logic.; Mathematical logic.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is use...

Table of Contents:

• Preface,
• 1 Introduction to Hybrid Logic
• 2 Proof-Theory of Propositional Hybrid Logic
• 3 Tableaus and Decision Procedures for Hybrid Logic
• 4 Comparison to Seligman’s Natural Deduction System
• 5 Functional Completeness for a Hybrid Logic
• 6 First-Order Hybrid
• 7 Intensional First-Order Hybrid Logic
• 8 Intuitionistic Hybrid Logic
• 9 Labelled Versus Internalized Natural Deduction
• 10 Why does the Proof-Theory of Hybrid Logic Behave soWell? - References
• Index.