Publications
Export 15 results:
Filters: First Letter Of Title is R [Clear All Filters]
, “Realizing Public Announcements by Justifications”, Journal of Computer and System Sciences, In Press.
, “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.
, “Realizability in weak systems of explicit mathematics”, Mathematical Logic Quarterly, vol. 57, no. 6, pp. 551-565, 2011.
, “On the Relationship between Choice Schemes and Iterated Class Comprehension in Set Theory”. Universität Bern, 2011.
, “Revising non-monotonic rule-based belief databases”, in Proceedings of Belief Revision, Belief Merging and Social Choice, 2006.
, “Reflections on reflections in explicit mathematics”, Annals of Pure and Applied Logic, vol. 136, p. 116{–}133, 2005.
, “Relational representation of $\mathcal{ALN}$ knowledge bases”, in Proceedings of Multi '05, 2005, p. 271{–}278.
, “On the relationship between fixed points and iteration in admissible set theory without foundation”, Archive for Mathematical Logic, vol. 44, p. 561{–}580, 2005.
, “Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe”, Annals of Pure and Applied Logic, vol. 120, p. 165{–}196, 2003.
, “Realization of analysis into explicit mathematics”, The Journal of Symbolic Logic, vol. 66, p. 1848{–}1864, 2001.
, “Relation Algebra and Modal Logics”, in Relational Methods in Computer Science, 1998, p. 20{–}89.
, “Relations between propositional normal modal logics: an overview”, Journal of Logic and Computation, vol. 7, p. 649{–}658, 1997.
, “Relational semantics for modal logics”, in Proceedings of Verification in New Orientations, 1995, pp. 104-131.