Login

Braüner, Torben

Hybrid Logic and its Proof-Theory

Braüner, Torben - Hybrid Logic and its Proof-Theory, ebook

124,00€

Ebook, PDF with Adobe DRM
ISBN: 9789400700024
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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)
Publisher
Springer
Publication year
2011
Language
en
Edition
1
Series
Applied Logic Series
Category
Philosophy
Format
Ebook
eISBN (PDF)
9789400700024

Similar titles