# Publications

Export 9 results:
Filters: First Letter Of Title is B  [Clear All Filters]
2011
, A Buchholz rule for modal fixed point logics, Logica Universalis, vol. 5, no. 1, pp. 1-19, 2011.
2000
, A benchmark method for the propositional modal logics K, KT, S4, Journal of Automated Reasoning, vol. 24, p. 297{–}317, 2000.
1999
, Bar induction and $\omega$ model reflection, Annals of Pure and Applied Logic, vol. 97, p. 221{–}230, 1999.
1994
T. Strassen, The basic logic of proofs. University of Bern, 1994.
1993
, 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.
1992
, The Basic Logic of Proofs. Institut für Informatik und angewandte Mathematik, 1992.