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
Avainsanat: Philosophy, Logic, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations
- Tekijä(t)
- Braüner, Torben
- Julkaisija
- Springer
- Julkaisuvuosi
- 2011
- Kieli
- en
- Painos
- 1
- Sarja
- Applied Logic Series
- Sivumäärä
- 13 sivua
- Kategoria
- Filosofia
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9789400700024
