Publications
Export 47 results:
Filters: First Letter Of Last Name is J [Clear All Filters]
, “Operational closure and stability”, Annals of Pure and Applied Logic, In Press.
, “About the Strength of Operational Regularity”, in Logic, Construction, Computation, 2012, pp. 305–324.
, “A Buchholz rule for modal fixed point logics”, Logica Universalis, vol. 5, no. 1, pp. 1-19, 2011.
, “Justifications for Common Knowledge”, Journal of Applied Non-classical Logics, vol. 21, no. 1, pp. 35-60, 2011.
, “The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories”, Annals of Pure and Applied logic, vol. 162, no. 8, pp. 647-660, 2011.
, “Modal Fixed Point Logics”, in Logics and {L}anguages for {R}eliability and {S}ecurity, 2010, vol. 25.
, “$Σ^1_1$ choice in a theory of sets and classes”, in Ways of {P}roof {T}heory, 2010, pp. 283–314.
, “Full operational set theory with unbounded existential quantification and power set”, Annals of Pure and Applied Logic, vol. 160, pp. 33–52, 2009.
, “Operations, sets and classes”, in Logic, {M}ethodology and {P}hilosophy of {S}cience - {P}roceedings of the {T}hirteenth {I}nternational {C}ongress, 2009.
, “Canonical completeness of infinitary mu”, Journal of Logic and Algebraic Programming, vol. 76, pp. 270-292, 2008.
, “Cut-free common knowledge”, Journal of Applied Logic, vol. 5, p. 681{–}689, 2007.
, “On Feferman's operational set theory $\mathsf OST$”, Annals of Pure and Applied Logic, vol. 150, p. 19{–}39, 2007.
, “About cut elimination for logics of common knowledge”, Annals of Pure and Applied Logic, vol. 133, p. 73{–}99, 2005.
, “Cut-free axiomatizations for stratified modal fixed point logic”, in Proceedings of Methods for Modalities 4, 2005, vol. 194, p. 125{–}143.
, “Metapredicative and explicit Mahlo: a proof-theoretic perspective”, in Proceedings of Logic Colloquium '00, 2005, vol. 19, p. 272{–}293.
, “Reflections on reflections in explicit mathematics”, Annals of Pure and Applied Logic, vol. 136, p. 116{–}133, 2005.
, “An intensional fixed point theory over first order arithmetic”, Annals of Pure and Applied Logic, vol. 128, p. 197{–}213, 2004.
, “Iterating $Σ$ operations in admissible set theory without foundation: a further aspect of metapredicative Mahlo”, in One Hundred Years of Russell's Paradox. Papers from the 2001 Munich Russell Conference, 2004, p. 119{–}134.
, “Variation on a theme of Schütte”, Mathematical Logic Quarterly, vol. 50, p. 258{–}264, 2004.
, “Extending the system $\mathsf{T}_0$ of explicit mathematics: the limit and Mahlo axioms”, Annals of Pure and Applied Logic, vol. 114, p. 79{–}101, 2002.
, “The proof-theoretic analysis of the Suslin operator in applicative theories”, in Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, 2002, p. 270{–}292.
, “First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo”, The Journal of Symbolic Logic, vol. 66, p. 1073{–}1089, 2001.
, “Universes in explicit mathematics”, Annals of Pure and Applied Logic, vol. 109, p. 141{–}162, 2001.
, “Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory”, The Journal of Symbolic Logic, vol. 66, p. 935{–}958, 2001.
, “Fixed point theories and dependent choice”, Archive for Mathematical Logic, vol. 39, p. 493{–}508, 2000.