Applied Logic Series - Hybrid Logic and its Proof-Theory
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789400700017, 9789400700024

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Intuitionistic Hybrid Logic

Applied Logic Series - Hybrid Logic and its Proof-Theory ◽

10.1007/978-94-007-0002-4_8 ◽

2010 ◽

pp. 171-201

Author(s):

Torben Braüner

Keyword(s):

Hybrid Logic

Download Full-text

Intensional First-Order Hybrid Logic

Applied Logic Series - Hybrid Logic and its Proof-Theory ◽

10.1007/978-94-007-0002-4_7 ◽

2010 ◽

pp. 153-169

Author(s):

Torben Braüner

Keyword(s):

Hybrid Logic ◽

First Order

Download Full-text

Introduction to Hybrid Logic

Applied Logic Series - Hybrid Logic and its Proof-Theory ◽

10.1007/978-94-007-0002-4_1 ◽

2010 ◽

pp. 1-20 ◽

Cited By ~ 1

Author(s):

Torben Braüner

Keyword(s):

Hybrid Logic

Download Full-text

Tableaus and Decision Procedures for Hybrid Logic

Applied Logic Series - Hybrid Logic and its Proof-Theory ◽

10.1007/978-94-007-0002-4_3 ◽

2010 ◽

pp. 59-90

Author(s):

Torben Braüner

Keyword(s):

Decision Procedures ◽

Hybrid Logic

Download Full-text

First-Order Hybrid Logic

Applied Logic Series - Hybrid Logic and its Proof-Theory ◽

10.1007/978-94-007-0002-4_6 ◽

2010 ◽

pp. 127-152 ◽

Cited By ~ 1

Author(s):

Torben Braüner

Keyword(s):

Hybrid Logic ◽

First Order

Download Full-text

Functional Completeness for a Hybrid Logic

Applied Logic Series - Hybrid Logic and its Proof-Theory ◽

10.1007/978-94-007-0002-4_5 ◽

2010 ◽

pp. 109-126

Author(s):

Torben Braüner

Keyword(s):

Hybrid Logic ◽

Functional Completeness

Download Full-text

Proof-Theory of Propositional Hybrid Logic

Applied Logic Series - Hybrid Logic and its Proof-Theory ◽

10.1007/978-94-007-0002-4_2 ◽

2010 ◽

pp. 21-57

Author(s):

Torben Braüner

Keyword(s):

Proof Theory ◽

Hybrid Logic

Download Full-text

Labelled Versus Internalized Natural Deduction

Applied Logic Series - Hybrid Logic and its Proof-Theory ◽

10.1007/978-94-007-0002-4_9 ◽

2010 ◽

pp. 203-210

Author(s):

Torben Braüner

Keyword(s):

Natural Deduction

Download Full-text

Comparison to Seligman’s Natural Deduction System

Applied Logic Series - Hybrid Logic and its Proof-Theory ◽

10.1007/978-94-007-0002-4_4 ◽

2010 ◽

pp. 91-107

Author(s):

Torben Braüner

Keyword(s):

Natural Deduction ◽

Deduction System ◽

Natural Deduction System

Download Full-text

Why Does the Proof-Theory of Hybrid Logic Behave So Well?

Applied Logic Series - Hybrid Logic and its Proof-Theory ◽

10.1007/978-94-007-0002-4_10 ◽

2010 ◽

pp. 211-220

Author(s):

Torben Braüner

Keyword(s):

Proof Theory ◽

Hybrid Logic

Download Full-text

Applied Logic Series - Hybrid Logic and its Proof-TheoryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Intuitionistic Hybrid Logic

Intensional First-Order Hybrid Logic

Introduction to Hybrid Logic

Tableaus and Decision Procedures for Hybrid Logic

First-Order Hybrid Logic

Functional Completeness for a Hybrid Logic

Proof-Theory of Propositional Hybrid Logic

Labelled Versus Internalized Natural Deduction

Comparison to Seligman’s Natural Deduction System

Why Does the Proof-Theory of Hybrid Logic Behave So Well?

Applied Logic Series - Hybrid Logic and its Proof-Theory
Latest Publications