A Local System for Classical Logic. - Kai Brünnler; Alwen Fernanto Tiu (LPAR, 2001)

Atomic Cut Elimination for classical Logic. - Kai Brünnler (CSL, 2003)

Two Restrictions on Contraction. - Kai Brünnler (Log. J. IGPL, 2003)

Deep inference and symmetry in classical proofs. - Kai Brünnler (Logos-Verlag, 2003)

Deep Inference and Its Normal Form of Derivations. - Kai Brünnler (CiE, 2006)

Locality for Classical Logic. - Kai Brünnler (Notre Dame J. Formal Log., 2006)

Cut Elimination inside a Deep Inference System for Classical Predicate Logic. - Kai Brünnler (Stud Logica, 2006)

Syntactic Cut-elimination for Common Knowledge. - Kai Brünnler; Thomas Studer (M4M, 2007)

An Algorithmic Interpretation of a Deep Inference System. - Kai Brünnler; Richard McKinley (LPAR, 2008)

Cut-free sequent systems for temporal logic. - Kai Brünnler; Martin Lange (J. Log. Algebraic Methods Program., 2008)

On contraction and the modal fragment. - Kai Brünnler; Dieter Probst; Thomas Studer (Math. Log. Q., 2008)

Modular Sequent Systems for Modal Logic. - Kai Brünnler; Lutz Straßburger (TABLEAUX, 2009)

Deep sequent systems for modal logic. - Kai Brünnler (Arch. Math. Log., 2009)

A Syntactic Realization Theorem for Justification Logics. - Kai Brünnler; Remo Goetschi; Roman Kuznets (Advances in Modal Logic, 2010)

How to Universally Close the Existential Rule. - Kai Brünnler (LPAR (Yogyakarta), 2010)

Nested Sequents - Kai Brünnler (CoRR, 2010)

Syntactic cut-elimination for a fragment of the modal mu-calculus. - Kai Brünnler; Thomas Studer (Ann. Pure Appl. Log., 2012)

Towards Verifying the Bitcoin-S Library (Short Paper). - Ramon Boss; Kai Brünnler; Anna Doukmak (FMBC@CAV, 2020)

A logic of blockchain updates. - Kai Brünnler; Dandolo Flumini; Thomas Studer (J. Log. Comput., 2020)