Kai Brünnler

	2009
12		Kai Brünnler, Lutz Straßburger: Modular Sequent Systems for Modal Logic. TABLEAUX 2009: 152-166
11		Kai Brünnler, Thomas Studer: Syntactic cut-elimination for common knowledge. Ann. Pure Appl. Logic 160(1): 82-95 (2009)
10		Kai Brünnler, Thomas Studer: Syntactic Cut-elimination for Common Knowledge. Electr. Notes Theor. Comput. Sci. 231: 227-240 (2009)
	2008
9		Kai Brünnler, Richard McKinley: An Algorithmic Interpretation of a Deep Inference System. LPAR 2008: 482-496
8		Kai Brünnler, Martin Lange: Cut-free sequent systems for temporal logic. J. Log. Algebr. Program. 76(2): 216-225 (2008)
7		Kai Brünnler, Dieter Probst, Thomas Studer: On contraction and the modal fragment. Math. Log. Q. 54(4): 345-349 (2008)
	2006
6		Kai Brünnler: Deep Sequent Systems for Modal Logic. Advances in Modal Logic 2006: 107-
5		Kai Brünnler: Deep Inference and Its Normal Form of Derivations. CiE 2006: 65-74
4		Kai Brünnler: Cut Elimination inside a Deep Inference System for Classical Predicate Logic. Studia Logica 82(1): 51-71 (2006)
	2003
3		Kai Brünnler: Atomic Cut Elimination for classical Logic. CSL 2003: 86-97
2		Kai Brünnler: Two Restrictions on Contraction. Logic Journal of the IGPL 11(5): 525-529 (2003)
	2001
1		Kai Brünnler, Alwen Fernanto Tiu: A Local System for Classical Logic. LPAR 2001: 347-361

Coauthor Index

1	Martin Lange	[8]
2	Richard McKinley	[9]
3	Dieter Probst	[7]
4	Lutz Straßburger	[12]
5	Thomas Studer	[7] [10] [11]
6	Alwen Tiu (Alwen Fernanto Tiu)	[1]

Colors in the list of coauthors