 | Up a level |
Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2018). A Logic of Blockchain Updates. In: LFCS 2018: Logical Foundations of Computer Science. Lecture Notes in Computer Science: Vol. 10703 (pp. 107-119). Cham: Springer International Publishing 10.1007/978-3-319-72056-2_7
Brünnler, Kai; Goetschi, Remo; Kuznets, Roman (2010). A syntactic realization theorem for justification logics. In: Beklemishev, Lev; Goranko, Valentin; Shehtman, Valentin (eds.) Advances in modal logic, volume 8 (pp. 39-58). College Publications
Brünnler, Kai; Studer, Thomas (2009). Syntactic cut-elimination for common knowledge. Annals of pure and applied logic, 160(1), pp. 82-95. Amsterdam: Elsevier 10.1016/j.apal.2009.01.014
Brünnler, Kai; Strassburger, Lutz (2009). Modular Sequent Systems for Modal Logic. In: Giese, Martin; Waaler, Arild (eds.) Automated Reasoning with Analytic Tableaux and Related Methods. 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5607 (pp. 152-166). Heidelberg: Springer Verlag 10.1007/978-3-642-02716-1_12
Brünnler, Kai (2009). Deep Sequent Systems for Modal Logic. Archive for mathematical logic, 48(6), pp. 551-577. Berlin: Springer International 10.1007/s00153-009-0137-3
Brünnler, Kai; Probst, Dieter; Studer, Thomas (2008). On contraction and the modal fragment. Mathematical logic quarterly, 54(4), pp. 345-349. Weinheim: Wiley-VCH 10.1002/malq.200710043
Brünnler, Kai; Lange, Martin (2008). Cut-free sequent systems for temporal logic. Journal of logic and algebraic programming, 76(2), pp. 216-225. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.004
Brünnler, Kai; McKinley, Richard (2008). An Algorithmic Interpretation of a Deep Inference System. In: Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5330 (pp. 482-496). Heidelberg: Springer Verlag 10.1007/978-3-540-89439-1_34
Brünnler, Kai (2006). Cut elimination inside a deep inference system for classical predicate logic. Studia logica, 82(1), pp. 51-71. Dordrecht: Springer Science + Business Media 10.1007/s11225-006-6605-4
Brünnler, Kai (2006). Deep inference and its normal form of derivations. In: Beckmann, Arnold; Berger, Ulrich; Löwe, Benedikt; Tucker, John V. (eds.) Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea, UK, July 2006, Proceedings. Lecture Notes in Computer Science: Vol. 3988 (pp. 65-74). Heidelberg: Springer Verlag 10.1007/11780342_7
