Kai Brünnler

Available identifiers

Publication	Date of Publication	Type
A logic of blockchain updates	2020-12-15	Paper
A logic of blockchain updates	2018-04-06	Paper
Syntactic Cut-elimination for Common Knowledge	2015-03-23	Paper
Syntactic cut-elimination for a fragment of the modal mu-calculus	2012-10-11	Paper
A syntactic realization theorem for justification logics	2012-08-05	Paper
A Local System for Classical Logic	2011-05-06	Paper
How to universally close the existential rule	2010-10-12	Paper
Modular sequent systems for modal logic	2009-12-01	Paper
Deep sequent systems for modal logic	2009-08-27	Paper
Syntactic cut-elimination for common knowledge	2009-06-17	Paper
An Algorithmic Interpretation of a Deep Inference System	2009-01-27	Paper
Cut-free sequent systems for temporal logic	2008-09-01	Paper
On contraction and the modal fragment	2008-08-15	Paper
Deep sequent systems for modal logic	2008-07-01	Paper
Locality for classical logic	2007-08-01	Paper
Computer Science Logic	2007-06-21	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
Cut elimination inside a deep inference system for classical predicate logic	2006-03-17	Paper
Deep inference and symmetry in classical proofs	2006-03-07	Paper
A first order system with finite choice of premises	2006-01-24	Paper
Two Restrictions on Contraction	2004-09-07	Paper
Consistency Without Cut Elimination	2002-10-24	Paper

This page was built for person: Kai Brünnler