Follow
Kai Brünnler
Title
Cited by
Cited by
Year
Deep sequent systems for modal logic
K Brünnler
Archive for Mathematical Logic 48 (6), 551-577, 2009
2532009
A local system for classical logic
K Brünnler, AF Tiu
International Conference on Logic for Programming Artificial Intelligence …, 2001
1882001
Deep inference and symmetry in classical proofs
K Brünnler
Logos Verlag, 2004
1722004
Cut-free sequent systems for temporal logic
K Brünnler, M Lange
The Journal of Logic and Algebraic Programming 76 (2), 216-225, 2008
762008
Atomic cut elimination for classical logic
K Brünnler
International Workshop on Computer Science Logic, 86-97, 2003
522003
Syntactic cut-elimination for common knowledge
K Brünnler, T Studer
Annals of Pure and Applied Logic 160 (1), 82-95, 2009
452009
Locality for classical logic
K Brünnler
Notre Dame Journal of Formal Logic 47 (4), 557-580, 2006
452006
Cut elimination inside a deep inference system for classical predicate logic
K Brünnler
Studia Logica 82 (1), 51-71, 2006
402006
Nested sequents
K Brünnler
arXiv preprint arXiv:1004.1845, 2010
372010
Modular sequent systems for modal logic
K Brünnler, L Straßburger
Automated Reasoning with Analytic Tableaux and Related Methods: 18th …, 2009
362009
Two restrictions on contraction
K Brunnler
Logic Journal of IGPL 11 (5), 525-529, 2003
342003
Deep inference and its normal form of derivations
K Brünnler
Conference on Computability in Europe, 65-74, 2006
302006
A Syntactic Realization Theorem for Justification Logics.
K Brünnler, R Goetschi, R Kuznets
Advances in Modal Logic, 39-58, 2010
282010
An algorithmic interpretation of a deep inference system
K Brünnler, R McKinley
Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008
212008
A logic of blockchain updates
K Brünnler, D Flumini, T Studer
International Symposium on Logical Foundations of Computer Science, 107-119, 2017
192017
A first order system with finite choice of premises
K Brünnler, A Guglielmi
First-Order Logic Revisited, Logische Philosophie, 59-74, 2004
192004
Syntactic cut-elimination for a fragment of the modal mu-calculus
K Brünnler, T Studer
Annals of Pure and Applied Logic 163 (12), 1838-1853, 2012
182012
On two forms of bureaucracy in derivations
K Brünnler, S Lengrand
Structures and Deduction 2005, 2005
142005
Blockchain kurz & gut
K Brünnler
O'Reilly, 2018
102018
A logic of blockchain updates
K Brünnler, D Flumini, T Studer
Journal of Logic and Computation 30 (8), 1469-1485, 2020
82020
The system can't perform the operation now. Try again later.
Articles 1–20