] Filters: Author is Kai Brünnler [Clear All Filters]
.
2010. Nested Sequents.
.
2010. A Syntactic Realization Theorem for Justification Logics. Advances in Modal Logic, Volume 8. :39–58. Abstract
.
2009. Deep Sequent Systems for Modal Logic. Archive for Mathematical Logic. 48:551–577.
.
2009. Modular Sequent Systems for Modal Logic. Tableaux 2009. 5607
.
2009. Syntactic cut-elimination for common knowledge. Annals of Pure and Applied Logic. 160:82-95.
.
2009. Syntactic cut-elimination for common knowledge. Proceedings of {M}ethods for {M}odalities {M}4{M}5. 231:227–240.
.
2008. Cut-free sequent systems for temporal logic. Journal of Logic and Algebraic Programming. 76:216-225.
.
2008. An Algorithmic Interpretation of a Deep Inference System. LPAR 2008. 5330:482–-496.
.
2008. On contraction and the modal fragment. Mathematical Logic Quarterly. 54:345–349.
.
2006. Cut elimination inside a deep inference system for classical predicate logic. Studia Logica. 82:51{–}71.
.
2006. Deep inference and its normal form of derivations. Proceedings of Computability in Europe. 3988:65{–}74.
.
2006. Locality for classical logic. Notre Dame Journal of Formal Logic. 47:557{–}580.
.
2006. Deep sequent systems for modal logic. Proceedings of Advances in Modal Logic. 6:107{–}119.
.
2005. On two forms of bureaucracy in derivations. Proceedings of Structures and Deduction. :65{–}74.
