Kai Brünnler

发表

Towards Verifying the Bitcoin-S Library (Short Paper)

Ramon Boss, Kai Brünnler, Anna Doukmak, 2020, FMBC@CAV.

Modular Sequent Systems for Modal Logic

Lutz Straßburger, Kai Brünnler, 2009, TABLEAUX.

A logic of blockchain updates

Thomas Studer, Dandolo Flumini, Kai Brünnler, 2020, J. Log. Comput..

A Local System for Classical Logic

Alwen Tiu, Kai Brünnler, Kai Brünnler, 2001, LPAR.

A Syntactic Realization Theorem for Justification Logics

Roman Kuznets, Kai Brünnler, Remo Goetschi, 2010, Advances in Modal Logic.

Proof, Computation, Complexity PCC 2010 International Workshop, Proceedings

Thomas Studer, Kai Brünnler, 2010 .

Deep Inference and Its Normal Form of Derivations

Kai Brünnler, 2006, CiE.

How to Universally Close the Existential Rule

Kai Brünnler, 2010, LPAR.

Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

George Metcalfe, Kai Brünnler, 2011, TABLEAUX.

An Algorithmic Interpretation of a Deep Inference System

Richard McKinley, Kai Brünnler, Richard McKinley, 2008, LPAR.

On Two Forms of Bureaucracy in Derivations

Stéphane Lengrand, Kai Brünnler, 2005 .

Deep inference and symmetry in classical proofs

Kai Brünnler, 2003 .

Deep sequent systems for modal logic

Kai Brünnler, Kai Brünnler, 2009, Arch. Math. Log..

Atomic Cut Elimination for classical Logic

Kai Brünnler, Kai Brünnler, 2003, CSL.

Syntactic cut-elimination for common knowledge

Thomas Studer, Kai Brünnler, 2009, Ann. Pure Appl. Log..

A Logic of Blockchain Updates pdf

Thomas Studer, Dandolo Flumini, Kai Brünnler, 2017, LFCS.

Locality for Classical Logic

Kai Brünnler, 2006, Notre Dame J. Formal Log..

Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods

George Metcalfe, Kai Brünnler, 2011 .

Syntactic cut-elimination for a fragment of the modal mu-calculus

Thomas Studer, Kai Brünnler, 2012, Ann. Pure Appl. Log..

On contraction and the modal fragment

Thomas Studer, Dieter Probst, Kai Brünnler, 2008, Math. Log. Q..

Cut-free sequent systems for temporal logic

Martin Lange, Kai Brünnler, M. Lange, 2008, J. Log. Algebraic Methods Program..

Two Restrictions on Contraction

Kai Brünnler, 2003, Log. J. IGPL.

Cut Elimination inside a Deep Inference System for Classical Predicate Logic

Kai Brünnler, 2006, Stud Logica.

Syntactic Cut-elimination for Common Knowledge

Thomas Studer, Kai Brünnler, 2009, Electron. Notes Theor. Comput. Sci..