Publications
Export 16 results:
Filters: First Letter Of Last Name is G [Clear All Filters]
, “Unfolding feasible arithmetic and weak truth”, in Axiomatic Theories of Truth, In Press.
, “Justifications, Ontology, and Conservativity”, in Advances in Modal Logic, volume 9, 2012, pp. 437–458.
, “On the Realization and Classification of Justification Logics”. Universität Bern, 2012.
, “Realization for Justification Logics via Nested Sequents: Modularity through Embedding”, Annals of Pure and Applied Logic, vol. 163, pp. 1271–1298, 2012.
, “Justifications for Common Knowledge”, Journal of Applied Non-classical Logics, vol. 21, no. 1, pp. 35-60, 2011.
, “Modal Fixed Point Logics”, in Logics and {L}anguages for {R}eliability and {S}ecurity, 2010, vol. 25.
, “A Syntactic Realization Theorem for Justification Logics”, in Advances in Modal Logic, Volume 8, 2010, pp. 39–58.
, “A Syntactic Realization Theorem for Justification Logics”, in Advances in Modal Logic, Volume 8, 2010, pp. 39–58.
, “Modular Sequent Systems for Modal Logic”, in Tableaux 2009, 2009, vol. 5607.
, “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.
, “Polytime Functions in Two-Sorted Bounded Arithmetic”. Universität Bern, 2008.
, “Deep sequent systems for modal logic”, in Proceedings of Advances in Modal Logic, 2006, vol. 6, p. 107{–}119.
, “Strictness of the modal $μ$-calculus hierarchy”, in Automata, Logics and infinite Games: A Guide to Current Research, 2002, vol. 2500, p. 185{–}201.
, “Relations between propositional normal modal logics: an overview”, Journal of Logic and Computation, vol. 7, p. 649{–}658, 1997.
, “Systems of explicit mathematics with non-constructive $μ$-operator and join”, Annals of Pure and Applied Logic, vol. 82, p. 193{–}219, 1996.
, “The Logic of the {Gödel Proof Predicate”, in Computational Logic and Proof Theory, Third {K}urt {Gödel {C}olloquium, {KGC}'93, {B}rno, {C}zech {R}epublic, {A}ugust 24–27, 1993, Proceedings, 1993, vol. 713, pp. 71–82.