# Publications

Export 13 results:
Filters: First Letter Of Last Name is R  [Clear All Filters]
2013
, 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.
2010
, 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.
2007
, Improving semantic query answering, in Proceedings of Database and Expert Systems Applications, 2007, vol. 4653, p. 671{–}679.
2005
G. Jäger, Metapredicative and explicit Mahlo: a proof-theoretic perspective, in Proceedings of Logic Colloquium '00, 2005, vol. 19, p. 272{–}293.
T. Studer, Relational representation of $\mathcal{ALN}$ knowledge bases, in Proceedings of Multi '05, 2005, p. 271{–}278.
2003
C. Rüede, The proof-theoretic analysis of $Σ^1_1$ transfinite dependent choice, Annals of Pure and Applied Logic, vol. 122, p. 195{–}234, 2003.
C. Rüede, Universes in metapredicative analysis, Archive for Mathematical Logic, vol. 42, p. 129{–}151, 2003.
2002
, Intuitionistic fixed point theories for strictly positive operators, Mathematical Logic Quarterly, vol. 48, p. 195{–}202, 2002.
C. Rüede, Transfinite dependent choice and $\omega$-model reflection, The Journal of Symbolic Logic, vol. 67, p. 1153{–}1168, 2002.
1997
, Model checking, in Handbook of Automated Reasoning, 1997, p. 1635{–}1790.
1995
, Relational semantics for modal logics, in Proceedings of Verification in New Orientations, 1995, pp. 104-131.
1993
, 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.