Kai Brünnler

24 papers B 7C 1Misc 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2020 J jnl
A logic of blockchain updates.
J. Log. Comput.
Kai Brünnler, Dandolo Flumini, Thomas Studer
2020 — conf
Towards Verifying the Bitcoin-S Library (Short Paper).
FMBC@CAV
Ramon Boss, Kai Brünnler, Anna Doukmak
2018 Misc conf
A Logic of Blockchain Updates.
LFCS
Kai Brünnler, Dandolo Flumini, Thomas Studer
2017 J jnl
A Logic of Blockchain Updates.
CoRR
Kai Brünnler, Dandolo Flumini, Thomas Studer
2012 J jnl
Syntactic cut-elimination for a fragment of the modal mu-calculus.
Ann. Pure Appl. Log.
Kai Brünnler, Thomas Studer
2011 B ed.
Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
TABLEAUX
Kai Brünnler, George Metcalfe
2010 B conf
A Syntactic Realization Theorem for Justification Logics.
Advances in Modal Logic
Kai Brünnler, Remo Goetschi, Roman Kuznets
2010 — conf
How to Universally Close the Existential Rule.
LPAR (Yogyakarta)
Kai Brünnler
2010 J jnl
Nested Sequents
CoRR
Kai Brünnler
2009 J jnl
Deep sequent systems for modal logic.
Arch. Math. Log.
Kai Brünnler
2009 B conf
Modular Sequent Systems for Modal Logic.
TABLEAUX
Kai Brünnler, Lutz Straßburger
2009 J jnl
Syntactic cut-elimination for common knowledge.
Ann. Pure Appl. Log.
Kai Brünnler, Thomas Studer
2008 B conf
An Algorithmic Interpretation of a Deep Inference System.
LPAR
Kai Brünnler, Richard McKinley
2008 J jnl
Cut-free sequent systems for temporal logic.
J. Log. Algebraic Methods Program.
Kai Brünnler, Martin Lange
2008 J jnl
On contraction and the modal fragment.
Math. Log. Q.
Kai Brünnler, Dieter Probst, Thomas Studer
2007 — conf
Syntactic Cut-elimination for Common Knowledge.
M4M
Kai Brünnler, Thomas Studer
2006 J jnl
Cut Elimination inside a Deep Inference System for Classical Predicate Logic.
Stud Logica
Kai Brünnler
2006 C conf
Deep Inference and Its Normal Form of Derivations.
CiE
Kai Brünnler
2006 B conf
Deep Sequent Systems for Modal Logic.
Advances in Modal Logic
Kai Brünnler
2006 J jnl
Locality for Classical Logic.
Notre Dame J. Formal Log.
Kai Brünnler
2003 B conf
Atomic Cut Elimination for classical Logic.
CSL
Kai Brünnler
2003 — —
Deep inference and symmetry in classical proofs.
Kai Brünnler
2003 J jnl
Two Restrictions on Contraction.
Log. J. IGPL
Kai Brünnler
2001 B conf
A Local System for Classical Logic.
LPAR
Kai Brünnler, Alwen Fernanto Tiu