Publications
Export 9 results:
Filters: First Letter Of Title is B [Clear All Filters]
, “A Buchholz rule for modal fixed point logics”, Logica Universalis, vol. 5, no. 1, pp. 1-19, 2011.
, “Belief Change Functions for Multi-Agent Systems”. Universität Bern, 2009.
, “The Basic Feasible Functionals in Bounded Arithmetic”. Universität Bern, 2008.
, “A benchmark method for the propositional modal logics K, KT, S4”, Journal of Automated Reasoning, vol. 24, p. 297{–}317, 2000.
, “Bar induction and $\omega$ model reflection”, Annals of Pure and Applied Logic, vol. 97, p. 221{–}230, 1999.
, “A benchmark method for the propositional modal logics K, KT, S4”. Universität Bern, 1996.
, “The basic logic of proofs”. University of Bern, 1994.
, “The Basic Logic of Proofs”, in {C}omputer {S}cience {L}ogic, 6th Workshop, {CSL}'92, {S}an {M}iniato, {I}taly, {S}eptember 28–{O}ctober 2, 1992, Selected Papers, 1993, vol. 702, pp. 14–28.
, “The Basic Logic of Proofs”. Institut für Informatik und angewandte Mathematik, 1992.