# Publications

Export 15 results:
Filters: First Letter Of Title is R  [Clear All Filters]
In Press
, Realizing Public Announcements by Justifications, Journal of Computer and System Sciences, In Press.
2011
, Realizability in weak systems of explicit mathematics, Mathematical Logic Quarterly, vol. 57, no. 6, pp. 551-565, 2011.
2006
R. Wehbe, Revising non-monotonic rule-based belief databases, in Proceedings of Belief Revision, Belief Merging and Social Choice, 2006.
2005
, Reflections on reflections in explicit mathematics, Annals of Pure and Applied Logic, vol. 136, p. 116{–}133, 2005.
T. Studer, Relational representation of $\mathcal{ALN}$ knowledge bases, in Proceedings of Multi '05, 2005, p. 271{–}278.
D. Probst, On the relationship between fixed points and iteration in admissible set theory without foundation, Archive for Mathematical Logic, vol. 44, p. 561{–}580, 2005.
2001
S. Tupailo, Realization of analysis into explicit mathematics, The Journal of Symbolic Logic, vol. 66, p. 1848{–}1864, 2001.
1998
, Relation Algebra and Modal Logics, in Relational Methods in Computer Science, 1998, p. 20{–}89.
1997
, Relations between propositional normal modal logics: an overview, Journal of Logic and Computation, vol. 7, p. 649{–}658, 1997.
1995
, Relational semantics for modal logics, in Proceedings of Verification in New Orientations, 1995, pp. 104-131.