# Publications

Export 10 results:
Filters: First Letter Of Title is T  [Clear All Filters]
2010
, 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.
2007
, Total public announcements, in Proceedings of Logical Foundations of Computer Science, 2007, vol. 4514, p. 498{–}511.
2005
, On two forms of bureaucracy in derivations, in Proceedings of Structures and Deduction, 2005, p. 65{–}74.
2002
C. Rüede, Transfinite dependent choice and $\omega$-model reflection, The Journal of Symbolic Logic, vol. 67, p. 1153{–}1168, 2002.
2001
2000
, A theory of explicit mathematics equivalent to ${ \mathsf{ID} }_1$, in Proceedings of Computer Science Logic, 2000, vol. 1862, p. 356{–}370.
1995
, Totality in applicative theories, Annals of Pure and Applied Logic, vol. 74, p. 105{–}120, 1995.