You are here

Home ›

Publications

Export 16 results:
Filters: First Letter Of Last Name is G  [Clear All Filters]
In Press
S. Eberhard and T. Strahm, “Unfolding feasible arithmetic and weak truth”, in Axiomatic Theories of Truth, In Press.
2012
R. Kuznets and T. Studer, “Justifications, Ontology, and Conservativity”, in Advances in Modal Logic, volume 9, 2012, pp. 437–458.
R. Goetschi, “On the Realization and Classification of Justification Logics”. Universität Bern, 2012.
R. Goetschi and R. Kuznets, “Realization for Justification Logics via Nested Sequents: Modularity through Embedding”, Annals of Pure and Applied Logic, vol. 163, pp. 1271–1298, 2012.
2011
S. Bucheli, R. Kuznets, and T. Studer, “Justifications for Common Knowledge”, Journal of Applied Non-classical Logics, vol. 21, no. 1, pp. 35-60, 2011.
2010
G. Jäger, “Modal Fixed Point Logics”, in Logics and {L}anguages for {R}eliability and {S}ecurity, 2010, vol. 25.
K. Brünnler, R. Goetschi, and R. Kuznets, “A Syntactic Realization Theorem for Justification Logics”, in Advances in Modal Logic, Volume 8, 2010, pp. 39–58.
K. Brünnler, R. Goetschi, and R. Kuznets, “A Syntactic Realization Theorem for Justification Logics”, in Advances in Modal Logic, Volume 8, 2010, pp. 39–58.
2009
K. Brünnler and L. Straßburger, “Modular Sequent Systems for Modal Logic”, in Tableaux 2009, 2009, vol. 5607.
G. Jäger, “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.
2008
R. Goetschi, “Polytime Functions in Two-Sorted Bounded Arithmetic”. Universität Bern, 2008.
2006
K. Brünnler, “Deep sequent systems for modal logic”, in Proceedings of Advances in Modal Logic, 2006, vol. 6, p. 107{–}119.
2002
L. Alberucci, “Strictness of the modal $μ$-calculus hierarchy”, in Automata, Logics and infinite Games: A Guide to Current Research, 2002, vol. 2500, p. 185{–}201.
1997
R. Goré, W. Heinle, and A. Heuerding, “Relations between propositional normal modal logics: an overview”, Journal of Logic and Computation, vol. 7, p. 649{–}658, 1997.
1996
T. Glass and T. Strahm, “Systems of explicit mathematics with non-constructive $μ$-operator and join”, Annals of Pure and Applied Logic, vol. 82, p. 193{–}219, 1996.
1993
S. Artemov and T. Strassen, “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.