Kai Brünnler

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

Colors in the list of coauthors