# Publications

Export 16 results:
Filters: First Letter Of Last Name is G  [Clear All Filters]
In Press
, Unfolding feasible arithmetic and weak truth, in Axiomatic Theories of Truth, In Press.
2012
, 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.
, Realization for Justification Logics via Nested Sequents: Modularity through Embedding, Annals of Pure and Applied Logic, vol. 163, pp. 1271–1298, 2012.
2011
, 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.
, 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.
2009
, 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.
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
, Relations between propositional normal modal logics: an overview, Journal of Logic and Computation, vol. 7, p. 649{–}658, 1997.
1996
, Systems of explicit mathematics with non-constructive $μ$-operator and join, Annals of Pure and Applied Logic, vol. 82, p. 193{–}219, 1996.
1993
, 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.