Torben Braüner

	2008
23		Jens Hansen, Thomas Bolander, Torben Braüner: Many-valued hybrid logic. Advances in Modal Logic 2008: 111-132
22		Torben Braüner: Adding Intensional Machinery to Hybrid Logic. J. Log. Comput. 18(4): 631-648 (2008)
	2007
21		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		Torben Braüner, Valeria de Paiva: Intuitionistic hybrid logic. J. Applied Logic 4(3): 231-255 (2006)
19		Thomas Bolander, Torben Braüner: Tableau-based Decision Procedures for Hybrid Logic. J. Log. Comput. 16(6): 737-763 (2006)
18		Torben Braüner: Axioms for classical, intuitionistic, and paraconsistent hybrid logic. Journal of Logic, Language and Information 15(3): 179-194 (2006)
	2005
17		Torben Braüner: Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information 14(2): 173-198 (2005)
16		Torben Braüner: Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica 81(2): 191-226 (2005)
	2004
15		Torben Braüner: Natural Deduction for Hybrid Logic. J. Log. Comput. 14(3): 329-353 (2004)
14		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		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		Torben Braüner: Peircean Graphs for the Modal Logic S5. ICCS 1998: 255-269
7		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		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

Coauthor Index

1	Patrick Blackburn	[21]
2	Thomas Bolander	[19] [21] [23]
3	Claus Donner	[10]
4	Jens Hansen	[23]
5	Per F. V. Hasle	[7]
6	Jørgen Fischer Nilsson	[9]
7	Peter Øhrstrøm	[7] [10]
8	Valeria de Paiva	[5] [20] [21]
9	Anne Rasmussen	[9]
10	Jørgen Villadsen	[21]

Colors in the list of coauthors