Hybrid Logic and its Proof-Theory

• Κύριος συγγραφέας: Braüner, Torben (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2011.
• Σειρά: Applied Logic Series, 37
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.