Hybrid Logic and Its Proof-Theory

By Torben Brauner and Torben Braüner

Book Overview

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.

• Format: Hardcover
• Language: English
• ISBN: 9400700016
• ISBN13: 9789400700017
• Release Date: November 2010
• Publisher: Springer
• Length: 231 Pages
• Weight: 1.10 lbs.
• Dimensions: 0.8" x 6.5" x 9.4"