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
https://portal.mardi4nfdi.de/entity/Q2904046	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
https://portal.mardi4nfdi.de/entity/Q3509048	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
https://portal.mardi4nfdi.de/entity/Q3375282	2006-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q3367318	2006-01-24	Paper
Two Restrictions on Contraction	2004-09-07	Paper
Consistency Without Cut Elimination	2002-10-24	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kai Brünnler