Kai Brünnler

	2011
19		Kai Brünnler, George Metcalfe: Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings Springer 2011
	2010
18		Kai Brünnler, Remo Goetschi, Roman Kuznets: A Syntactic Realization Theorem for Justification Logics. Advances in Modal Logic 2010: 39-58
17		Kai Brünnler: How to Universally Close the Existential Rule. LPAR (Yogyakarta) 2010: 172-186
16		Kai Brünnler: Nested Sequents CoRR abs/1004.1845: (2010)
	2009
15		Kai Brünnler, Lutz Straßburger: Modular Sequent Systems for Modal Logic. TABLEAUX 2009: 152-166
14		Kai Brünnler, Thomas Studer: Syntactic cut-elimination for common knowledge. Ann. Pure Appl. Logic 160(1): 82-95 (2009)
13		Kai Brünnler: Deep sequent systems for modal logic. Arch. Math. Log. 48(6): 551-577 (2009)
12		Kai Brünnler, Thomas Studer: Syntactic Cut-elimination for Common Knowledge. Electr. Notes Theor. Comput. Sci. 231: 227-240 (2009)
	2008
11		Kai Brünnler, Richard McKinley: An Algorithmic Interpretation of a Deep Inference System. LPAR 2008: 482-496
10		Kai Brünnler, Martin Lange: Cut-free sequent systems for temporal logic. J. Log. Algebr. Program. 76(2): 216-225 (2008)
9		Kai Brünnler, Dieter Probst, Thomas Studer: On contraction and the modal fragment. Math. Log. Q. 54(4): 345-349 (2008)
	2006
8		Kai Brünnler: Deep Sequent Systems for Modal Logic. Advances in Modal Logic 2006: 107-
7		Kai Brünnler: Deep Inference and Its Normal Form of Derivations. CiE 2006: 65-74
6		Kai Brünnler: Locality for Classical Logic. Notre Dame Journal of Formal Logic 47(4): 557-580 (2006)
5		Kai Brünnler: Cut Elimination inside a Deep Inference System for Classical Predicate Logic. Studia Logica 82(1): 51-71 (2006)
	2003
4		Kai Brünnler: Atomic Cut Elimination for classical Logic. CSL 2003: 86-97
3		Kai Brünnler: Two Restrictions on Contraction. Logic Journal of the IGPL 11(5): 525-529 (2003)
2		Kai Brünnler: Deep inference and symmetry in classical proofs. Dresden University of Technology 2003: 1-93
	2001
1		Kai Brünnler, Alwen Fernanto Tiu: A Local System for Classical Logic. LPAR 2001: 347-361

Coauthor Index

1	Remo Goetschi	[18]
2	Roman Kuznets	[18]
3	Martin Lange	[10]
4	Richard McKinley	[11]
5	George Metcalfe	[19]
6	Dieter Probst	[9]
7	Lutz Straßburger	[15]
8	Thomas Studer	[9] [12] [14]
9	Alwen Tiu (Alwen Fernanto Tiu)	[1]

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