Braüner, Torben
Hybrid Logic and its Proof-Theory
Table of contents
1. Introduction to Hybrid Logic
Torben Braüner
2. Proof-Theory of Propositional Hybrid Logic
Torben Braüner
3. Tableaus and Decision Procedures for Hybrid Logic
Torben Braüner
4. Comparison to Seligman’s Natural Deduction System
Torben Braüner
5. Functional Completeness for a Hybrid Logic
Torben Braüner
6. First-Order Hybrid Logic
Torben Braüner
7. Intensional First-Order Hybrid Logic
Torben Braüner
8. Intuitionistic Hybrid Logic
Torben Braüner
9. Labelled Versus Internalized Natural Deduction
Torben Braüner
10. Why Does the Proof-Theory of Hybrid Logic Behave So Well?
Torben Braüner
Keywords: Philosophy, Logic, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations
- Author(s)
- Braüner, Torben
- Publisher
- Springer
- Publication year
- 2011
- Language
- en
- Edition
- 1
- Series
- Applied Logic Series
- Page amount
- 13 pages
- Category
- Philosophy
- Format
- Ebook
- eISBN (PDF)
- 9789400700024
