| Deep sequent systems for modal logic K Brünnler Archive for Mathematical Logic 48 (6), 551-577, 2009 | 253 | 2009 |
| A local system for classical logic K Brünnler, AF Tiu International Conference on Logic for Programming Artificial Intelligence …, 2001 | 188 | 2001 |
| Deep inference and symmetry in classical proofs K Brünnler Logos Verlag, 2004 | 172 | 2004 |
| Cut-free sequent systems for temporal logic K Brünnler, M Lange The Journal of Logic and Algebraic Programming 76 (2), 216-225, 2008 | 76 | 2008 |
| Atomic cut elimination for classical logic K Brünnler International Workshop on Computer Science Logic, 86-97, 2003 | 52 | 2003 |
| Syntactic cut-elimination for common knowledge K Brünnler, T Studer Annals of Pure and Applied Logic 160 (1), 82-95, 2009 | 45 | 2009 |
| Locality for classical logic K Brünnler Notre Dame Journal of Formal Logic 47 (4), 557-580, 2006 | 45 | 2006 |
| Cut elimination inside a deep inference system for classical predicate logic K Brünnler Studia Logica 82 (1), 51-71, 2006 | 40 | 2006 |
| Nested sequents K Brünnler arXiv preprint arXiv:1004.1845, 2010 | 37 | 2010 |
| Modular sequent systems for modal logic K Brünnler, L Straßburger Automated Reasoning with Analytic Tableaux and Related Methods: 18th …, 2009 | 36 | 2009 |
| Two restrictions on contraction K Brunnler Logic Journal of IGPL 11 (5), 525-529, 2003 | 34 | 2003 |
| Deep inference and its normal form of derivations K Brünnler Conference on Computability in Europe, 65-74, 2006 | 30 | 2006 |
| A Syntactic Realization Theorem for Justification Logics. K Brünnler, R Goetschi, R Kuznets Advances in Modal Logic, 39-58, 2010 | 28 | 2010 |
| An algorithmic interpretation of a deep inference system K Brünnler, R McKinley Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008 | 21 | 2008 |
| A logic of blockchain updates K Brünnler, D Flumini, T Studer International Symposium on Logical Foundations of Computer Science, 107-119, 2017 | 19 | 2017 |
| A first order system with finite choice of premises K Brünnler, A Guglielmi First-Order Logic Revisited, Logische Philosophie, 59-74, 2004 | 19 | 2004 |
| 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 | 18 | 2012 |
| On two forms of bureaucracy in derivations K Brünnler, S Lengrand Structures and Deduction 2005, 2005 | 14 | 2005 |
| Blockchain kurz & gut K Brünnler O'Reilly, 2018 | 10 | 2018 |
| A logic of blockchain updates K Brünnler, D Flumini, T Studer Journal of Logic and Computation 30 (8), 1469-1485, 2020 | 8 | 2020 |
