Publications
Export 10 results:
Filters: First Letter Of Title is T [Clear All Filters]
, “Two Ways to Common Knowledge”, in Proceedings of the 6th Workshop on {M}ethods for {Modalities} ({M4M–6 2009}), {C}openhagen, {D}enmark, 12–14 {N}ovember 2009, 2010, pp. 83–98.
, “Total public announcements”, in Proceedings of Logical Foundations of Computer Science, 2007, vol. 4514, p. 498{–}511.
, “On two forms of bureaucracy in derivations”, in Proceedings of Structures and Deduction, 2005, p. 65{–}74.
, “Theories with self-application and computational complexity”, Information and Computation, vol. 185, p. 263{–}297, 2003.
, “Two Interpretations of $\mathsf{WKL}_0$ in Subsystems of $\mathsf{PA}$”. Universität Bern, 2003.
, “Transfinite dependent choice and $\omega$-model reflection”, The Journal of Symbolic Logic, vol. 67, p. 1153{–}1168, 2002.
, “On the Treatment of Predicative Polymorphism in Theories of Explicit Mathematics”. Universität Bern, 2002.
, “Theories of Ordinal Strength $\varphi 2 0$ and $\varphi 2 \varepsilon_0$”. Universität Bern, 2001.
, “A theory of explicit mathematics equivalent to ${ \mathsf{ID} }_1$”, in Proceedings of Computer Science Logic, 2000, vol. 1862, p. 356{–}370.
, “Totality in applicative theories”, Annals of Pure and Applied Logic, vol. 74, p. 105{–}120, 1995.