Torben Braüner

	2011
30		Thomas Bolander, Torben Braüner: Preface. Electr. Notes Theor. Comput. Sci. 273: 1-2 (2011)
29		Torben Braüner: Intuitionistic hybrid logic: Introduction and survey. Inf. Comput. 209(12): 1437-1446 (2011)
	2010
28		Thomas Bolander, Torben Braüner: Preface. Electr. Notes Theor. Comput. Sci. 262: 1-2 (2010)
	2009
27		Torben Braüner, Thomas Bolander: Preface. Journal of Logic, Language and Information 18(4): 435-436 (2009)
	2008
26		Jens Hansen, Thomas Bolander, Torben Braüner: Many-valued hybrid logic. Advances in Modal Logic 2008: 111-132
25		Torben Braüner: Adding Intensional Machinery to Hybrid Logic. J. Log. Comput. 18(4): 631-648 (2008)
	2007
24		Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen: Preface. Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007)
23		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)
	2006
22		Torben Braüner, Valeria de Paiva: Intuitionistic hybrid logic. J. Applied Logic 4(3): 231-255 (2006)
21		Thomas Bolander, Torben Braüner: Tableau-based Decision Procedures for Hybrid Logic. J. Log. Comput. 16(6): 737-763 (2006)
20		Torben Braüner: Axioms for classical, intuitionistic, and paraconsistent hybrid logic. Journal of Logic, Language and Information 15(3): 179-194 (2006)
19		Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm: Preface. Synthese 150(3): 327-328 (2006)
	2005
18		Torben Braüner: Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information 14(2): 173-198 (2005)
17		Torben Braüner: Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica 81(2): 191-226 (2005)
	2004
16		Torben Braüner: Natural Deduction for Hybrid Logic. J. Log. Comput. 14(3): 329-353 (2004)
15		Torben Braüner: Two Natural Deduction Systems for Hybrid Logic: A Comparison. Journal of Logic, Language and Information 13(1): 1-23 (2004)
	2002
14		Torben Braüner: Functional Completenes for a Natural Deduction Formulation of Hybridized S5. Advances in Modal Logic 2002: 31-50
13		Torben Braüner: Modal Logic, Truth, and the Master Modality. J. Philosophical Logic 31(4): 359-386 (2002)
	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): 629-643 (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	[24]
2	Thomas Bolander	[21] [24] [26] [27] [28] [30]
3	Claus Donner	[10]
4	Jens Hansen	[26]
5	Per F. V. Hasle (Per Frederik Vilhelm Hasle)	[7] [19]
6	Jørgen Fischer Nilsson	[9]
7	Peter Øhrstrøm	[7] [10] [19]
8	Valeria de Paiva	[5] [22] [24]
9	Anne Rasmussen	[9]
10	Jørgen Villadsen	[24]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page