| 2008 |
|---|
| 23 | EE | Jens Hansen,
Thomas Bolander,
Torben Braüner:
Many-valued hybrid logic.
Advances in Modal Logic 2008: 111-132 |
| 22 | EE | Torben Braüner:
Adding Intensional Machinery to Hybrid Logic.
J. Log. Comput. 18(4): 631-648 (2008) |
| 2007 |
|---|
| 21 | EE | Patrick Blackburn,
Thomas Bolander,
Torben Braüner,
Valeria de Paiva,
Jørgen Villadsen:
Preface.
Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007) |
| 2006 |
|---|
| 20 | EE | Torben Braüner,
Valeria de Paiva:
Intuitionistic hybrid logic.
J. Applied Logic 4(3): 231-255 (2006) |
| 19 | EE | Thomas Bolander,
Torben Braüner:
Tableau-based Decision Procedures for Hybrid Logic.
J. Log. Comput. 16(6): 737-763 (2006) |
| 18 | EE | Torben Braüner:
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.
Journal of Logic, Language and Information 15(3): 179-194 (2006) |
| 2005 |
|---|
| 17 | EE | Torben Braüner:
Natural Deduction for First-Order Hybrid Logic.
Journal of Logic, Language and Information 14(2): 173-198 (2005) |
| 16 | EE | Torben Braüner:
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.
Studia Logica 81(2): 191-226 (2005) |
| 2004 |
|---|
| 15 | EE | Torben Braüner:
Natural Deduction for Hybrid Logic.
J. Log. Comput. 14(3): 329-353 (2004) |
| 14 | EE | Torben Braüner:
Two Natural Deduction Systems for Hybrid Logic: A Comparison.
Journal of Logic, Language and Information 13(1): 1-23 (2004) |
| 2002 |
|---|
| 13 | | Torben Braüner:
Functional Completenes for a Natural Deduction Formulation of Hybridized S5.
Advances in Modal Logic 2002: 31-50 |
| 2000 |
|---|
| 12 | | Torben Braüner:
Homophonic Theory of Truth for Tense Logic.
Advances in Modal Logic 2000: 59-72 |
| 11 | EE | Torben Braüner:
A Cut-Free Gentzen Formulation of the Modal Logic S5.
Logic Journal of the IGPL 8(5): (2000) |
| 1999 |
|---|
| 10 | | Torben Braüner,
Claus Donner,
Peter Øhrstrøm:
A Software System for Learning Peircean Graphs.
ICCS 1999: 184-197 |
| 9 | | Torben Braüner,
Jørgen Fischer Nilsson,
Anne Rasmussen:
Conceptual Graphs as Algebras - With an Application to Analogical Reasoning.
ICCS 1999: 456-469 |
| 1998 |
|---|
| 8 | EE | Torben Braüner:
Peircean Graphs for the Modal Logic S5.
ICCS 1998: 255-269 |
| 7 | EE | Torben Braüner,
Per F. V. Hasle,
Peter Øhrstrøm:
Ockhamistic Logics and True Futures of Counterfactual Moments.
TIME 1998: 132-139 |
| 6 | | Torben Braüner:
A Simple Adequate Categorical Model for PCF, II.
Fundam. Inform. 33(4): 339-368 (1998) |
| 1997 |
|---|
| 5 | | Torben Braüner,
Valeria de Paiva:
A Formulation of Linear Logic Based on Dependency-Relations.
CSL 1997: 129-148 |
| 4 | | Torben Braüner:
A Simple Adequate Categorical Model for PCF.
TLCA 1997: 82-98 |
| 3 | EE | Torben Braüner:
A General Adequacy Result for a Linear Functional Language.
Theor. Comput. Sci. 177(1): 27-58 (1997) |
| 1994 |
|---|
| 2 | | Torben Braüner:
The Girard Translation Extended with Recursion.
CSL 1994: 31-45 |
| 1 | | Torben Braüner:
A Model of Intuitionistic Affine Logic From Stable Domain Theory.
ICALP 1994: 340-351 |
