Kai Brünnler

According to our database, Kai Brünnler authored at least 19 papers between 2001 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A logic of blockchain updates.

Kai Brünnler, Dandolo Flumini, Thomas Studer

J. Log. Comput., 2020

Towards Verifying the Bitcoin-S Library (Short Paper).

Ramon Boss, Kai Brünnler, Anna Doukmak

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2012

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

Kai Brünnler, Thomas Studer

Ann. Pure Appl. Log., 2012

2010

Nested Sequents

Kai Brünnler

CoRR, 2010

How to Universally Close the Existential Rule.

Kai Brünnler

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

A Syntactic Realization Theorem for Justification Logics.

Kai Brünnler, Remo Goetschi, Roman Kuznets

Proceedings of the Advances in Modal Logic 8, 2010

2009

Deep sequent systems for modal logic.

Kai Brünnler

Arch. Math. Log., 2009

Modular Sequent Systems for Modal Logic.

Kai Brünnler, Lutz Straßburger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

2008

On contraction and the modal fragment.

Kai Brünnler, Dieter Probst, Thomas Studer

Math. Log. Q., 2008

Cut-free sequent systems for temporal logic.

Kai Brünnler, Martin Lange

J. Log. Algebraic Methods Program., 2008

An Algorithmic Interpretation of a Deep Inference System.

Kai Brünnler, Richard McKinley

Proceedings of the Logic for Programming, 2008

2007

Syntactic Cut-elimination for Common Knowledge.

Kai Brünnler, Thomas Studer

Proceedings of the 5th Workshop on Methods for Modalities, 2007

2006

Cut Elimination inside a Deep Inference System for Classical Predicate Logic.

Kai Brünnler

Stud Logica, 2006

Locality for Classical Logic.

Kai Brünnler

Notre Dame J. Formal Log., 2006

Deep Inference and Its Normal Form of Derivations.

Kai Brünnler

Proceedings of the Logical Approaches to Computational Barriers, 2006

2003

Deep inference and symmetry in classical proofs.

Kai Brünnler

PhD thesis, 2003

Two Restrictions on Contraction.

Kai Brünnler

Log. J. IGPL, 2003

Atomic Cut Elimination for classical Logic.

Kai Brünnler

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2001

A Local System for Classical Logic.

Kai Brünnler, Alwen Fernanto Tiu

Proceedings of the Logic for Programming, 2001