Publications

Export 280 results:
2002
Jäger, G., Studer, T.: Extending the system $\mathsf{T}_0$ of explicit mathematics: the limit and Mahlo axioms. Annals of Pure and Applied Logic. 114, 79-101 (2002).
Keller, P.: Information Flow – Logics for the (R)age of Information. (2002).
Rüede, C., Strahm, T.: Intuitionistic fixed point theories for strictly positive operators. Mathematical Logic Quarterly. 48, 195-202 (2002).
Kretz, M.: On the Treatment of Predicative Polymorphism in Theories of Explicit Mathematics. (2002).
Ostrin, G.E., Wainer, S.S.: Proof theoretic complexity. In: Schwichtenberg, H. and Steinbrüggen, R. Proof and System Reliability. pp. 369-398. Springer (2002).
Alberucci, L.: Strictness of the modal $μ$-calculus hierarchy. In: Grädel, E., Thomas, W., and Wilke, T. Automata, Logics and infinite Games: A Guide to Current Research. pp. 185-201. Springer (2002).
Alberucci, L.: The Modal $μ$-Calculus and the Logic of Common Knowledge. (2002).
Jäger, G., Strahm, T.: The proof-theoretic analysis of the Suslin operator in applicative theories. In: Sieg, W., Sommer, R., and Talcott, C. Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman. pp. 270-292. AK Peters (2002).
Rüede, C.: Transfinite dependent choice and $\omega$-model reflection. The Journal of Symbolic Logic. 67, 1153-1168 (2002).
Strahm, T.: Wellordering proofs for metapredicative Mahlo. The Journal of Symbolic Logic. 67, 260-278 (2002).

Pages