Kai Brünnler

Publication Activity (10 Years)

Years Active: 2001-2020
Publications (10 Years): 4

Top Venues

CoRR

LFCS

J. Log. Comput.

FMBC@CAV

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Ramon Boss, Kai Brünnler, Anna Doukmak
Towards Verifying the Bitcoin-S Library (Short Paper). FMBC@CAV (2020)
Kai Brünnler, Dandolo Flumini, Thomas Studer
A logic of blockchain updates. J. Log. Comput. 30 (8) (2020)
Kai Brünnler, Dandolo Flumini, Thomas Studer
A Logic of Blockchain Updates. LFCS (2018)
Kai Brünnler, Dandolo Flumini, Thomas Studer
A Logic of Blockchain Updates. CoRR (2017)
Kai Brünnler, Thomas Studer
Syntactic cut-elimination for a fragment of the modal mu-calculus. Ann. Pure Appl. Log. 163 (12) (2012)
Kai Brünnler
How to Universally Close the Existential Rule. LPAR (Yogyakarta) (2010)
Kai Brünnler, Remo Goetschi, Roman Kuznets
A Syntactic Realization Theorem for Justification Logics. Advances in Modal Logic (2010)
Kai Brünnler
Nested Sequents CoRR (2010)
Kai Brünnler, Thomas Studer
Syntactic Cut-elimination for Common Knowledge. Electron. Notes Theor. Comput. Sci. 231 (2009)
Kai Brünnler, Thomas Studer
Syntactic cut-elimination for common knowledge. Ann. Pure Appl. Log. 160 (1) (2009)
Kai Brünnler, Lutz Straßburger
Modular Sequent Systems for Modal Logic. TABLEAUX (2009)
Kai Brünnler
Deep sequent systems for modal logic. Arch. Math. Log. 48 (6) (2009)
Kai Brünnler, Martin Lange
Cut-free sequent systems for temporal logic. J. Log. Algebraic Methods Program. 76 (2) (2008)
Kai Brünnler, Dieter Probst, Thomas Studer
On contraction and the modal fragment. Math. Log. Q. 54 (4) (2008)
Kai Brünnler, Richard McKinley
An Algorithmic Interpretation of a Deep Inference System. LPAR (2008)
Kai Brünnler
Deep Inference and Its Normal Form of Derivations. CiE (2006)
Kai Brünnler
Deep Sequent Systems for Modal Logic. Advances in Modal Logic (2006)
Kai Brünnler
Cut Elimination inside a Deep Inference System for Classical Predicate Logic. Stud Logica 82 (1) (2006)
Kai Brünnler
Locality for Classical Logic. Notre Dame J. Formal Log. 47 (4) (2006)
Kai Brünnler
Atomic Cut Elimination for classical Logic. CSL (2003)
Kai Brünnler
Two Restrictions on Contraction. Log. J. IGPL 11 (5) (2003)
Kai Brünnler, Alwen Fernanto Tiu
A Local System for Classical Logic. LPAR (2001)

Kai Brünnler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kai Brünnler