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
Nyckelord: Philosophy, Logic, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations
- Författare
- Braüner, Torben
- Utgivare
- Springer
- Utgivningsår
- 2011
- Språk
- en
- Utgåva
- 1
- Serie
- Applied Logic Series
- Sidantal
- 13 sidor
- Kategori
- Filosofi
- Format
- E-bok
- eISBN (PDF)
- 9789400700024
