Torben Braüner

Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence S. Moss (Eds.): Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012. College Publications 2012, isbn 978-1-84890-068-4

Thomas Bolander, Torben Braüner: Preface. Electr. Notes Theor. Comput. Sci. 273: 1-2 (2011)

Torben Braüner: Intuitionistic hybrid logic: Introduction and survey. Inf. Comput. 209(12): 1437-1446 (2011)

Thomas Bolander, Torben Braüner: Preface. Electr. Notes Theor. Comput. Sci. 262: 1-2 (2010)

Torben Braüner, Thomas Bolander: Preface. Journal of Logic, Language and Information 18(4): 435-436 (2009)

Torben Braüner: Adding Intensional Machinery to Hybrid Logic. J. Log. Comput. 18(4): 631-648 (2008)

Jens Hansen, Thomas Bolander, Torben Braüner: Many-valued hybrid logic. Advances in Modal Logic 2008: 111-132

Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen: Preface. Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007)

Torben Braüner: Why does the proof-theory of hybrid logic work so well? Journal of Applied Non-Classical Logics 17(4): 521-543 (2007)

Torben Braüner, Valeria de Paiva: Intuitionistic hybrid logic. J. Applied Logic 4(3): 231-255 (2006)

Torben Braüner: Axioms for classical, intuitionistic, and paraconsistent hybrid logic. Journal of Logic, Language and Information 15(3): 179-194 (2006)

Thomas Bolander, Torben Braüner: Tableau-based Decision Procedures for Hybrid Logic. J. Log. Comput. 16(6): 737-763 (2006)

Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm: Preface. Synthese 150(3): 327-328 (2006)

Torben Braüner: Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information 14(2): 173-198 (2005)

Torben Braüner: Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica 81(2): 191-226 (2005)

Torben Braüner: Two Natural Deduction Systems for Hybrid Logic: A Comparison. Journal of Logic, Language and Information 13(1): 1-23 (2004)

Torben Braüner: Natural Deduction for Hybrid Logic. J. Log. Comput. 14(3): 329-353 (2004)

Torben Braüner: Modal Logic, Truth, and the Master Modality. J. Philosophical Logic 31(4): 359-386 (2002)

Torben Braüner: Functional Completenes for a Natural Deduction Formulation of Hybridized S5. Advances in Modal Logic 2002: 31-50

Torben Braüner: A Cut-Free Gentzen Formulation of the Modal Logic S5. Logic Journal of the IGPL 8(5): 629-643 (2000)

Torben Braüner: Homophonic Theory of Truth for Tense Logic. Advances in Modal Logic 2000: 59-72

Torben Braüner, Claus Donner, Peter Øhrstrøm: A Software System for Learning Peircean Graphs. ICCS 1999: 184-197

Torben Braüner, Jørgen Fischer Nilsson, Anne Rasmussen: Conceptual Graphs as Algebras - With an Application to Analogical Reasoning. ICCS 1999: 456-469

Torben Braüner: A Simple Adequate Categorical Model for PCF, II. Fundam. Inform. 33(4): 339-368 (1998)

Torben Braüner: Peircean Graphs for the Modal Logic S5. ICCS 1998: 255-269

Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm: Ockhamistic Logics and True Futures of Counterfactual Moments. TIME 1998: 132-139

Torben Braüner: A General Adequacy Result for a Linear Functional Language. Theor. Comput. Sci. 177(1): 27-58 (1997)

Torben Braüner, Valeria de Paiva: A Formulation of Linear Logic Based on Dependency-Relations. CSL 1997: 129-148

Torben Braüner: A Simple Adequate Categorical Model for PCF. TLCA 1997: 82-98

Torben Braüner: The Girard Translation Extended with Recursion. CSL 1994: 31-45

Torben Braüner: A Model of Intuitionistic Affine Logic From Stable Domain Theory. ICALP 1994: 340-351