Kai Brünnler (bruennler)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Brünnler, Kai. 2006. “Deep Sequent Systems for Modal Logic.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 107–119. London: King’s College Publications.
Brünnler, Kai, Goetschi, Remo and Kuznets, Roman. 2010. “A Syntactic Realization Theorem for Justification Logics.” in Advances in Modal Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 39–58. London: King’s College Publications.
Brünnler, Kai and Guglielmi, Alessio. 2004. “A First Order System with Finite Choice of Premises.” in First-Order Logic Revisited, edited by Vincent F. Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler, and Heinrich Theodor Wansing, pp. 59–74. Logische Philosophie n. 12. Berlin: Logos Verlag.