Publications
Export 13 results:
Filters: First Letter Of Last Name is R [Clear All Filters]
, “Decidability for Justification Logics Revisited”, in Logic, Language, and Computation, 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers, vol. 7758, Springer, 2013, pp. 166–181.
, “Justified Belief Change”, in Proceedings of the {S}econd {ILCLI} {I}nternational {W}orkshop on {L}ogic and {P}hilosphy of {K}nowledge, {C}ommunication and {A}ction ({L}og{KCA}-10), 2010, pp. 135–155.
, “Improving semantic query answering”, in Proceedings of Database and Expert Systems Applications, 2007, vol. 4653, p. 671{–}679.
, “Metapredicative and explicit Mahlo: a proof-theoretic perspective”, in Proceedings of Logic Colloquium '00, 2005, vol. 19, p. 272{–}293.
, “Relational representation of $\mathcal{ALN}$ knowledge bases”, in Proceedings of Multi '05, 2005, p. 271{–}278.
, “The proof-theoretic analysis of $Σ^1_1$ transfinite dependent choice”, Annals of Pure and Applied Logic, vol. 122, p. 195{–}234, 2003.
, “Universes in metapredicative analysis”, Archive for Mathematical Logic, vol. 42, p. 129{–}151, 2003.
, “Intuitionistic fixed point theories for strictly positive operators”, Mathematical Logic Quarterly, vol. 48, p. 195{–}202, 2002.
, “Transfinite dependent choice and $\omega$-model reflection”, The Journal of Symbolic Logic, vol. 67, p. 1153{–}1168, 2002.
, “Metapredicative Subsystems of Analysis”. Universität Bern, 2000.
, “Model checking”, in Handbook of Automated Reasoning, 1997, p. 1635{–}1790.
, “Relational semantics for modal logics”, in Proceedings of Verification in New Orientations, 1995, pp. 104-131.
, “The Basic Logic of Proofs”, in {C}omputer {S}cience {L}ogic, 6th Workshop, {CSL}'92, {S}an {M}iniato, {I}taly, {S}eptember 28–{O}ctober 2, 1992, Selected Papers, 1993, vol. 702, pp. 14–28.