N. Friedman and J. Y. Halpern, “Belief Revision: A Critique,” In: L. C. Aiello, J. Doyle and S. C. Shapiro, Eds., Journal of of Logic, Language and Information, Principles of Knowledge Representation and Reasoning, Proceedings of the 5th Conference, 1996, pp. 421-431.

has been cited by the following article:

• TITLE: One Sound and Complete R-Calculus with Pseudo-Subtheory Minimal Change Property

  AUTHORS: Wei Li, Yuefei Sui

  KEYWORDS: Belief Revision; R-Calculus; Soundness and Completeness of a Calculus; Pseudo-Subtheory

  JOURNAL NAME: Journal of Computer and Communications, Vol.1 No.5, November 8, 2013

  ABSTRACT: The AGM axiom system is for the belief revision (revision by a single belief), and the DP axiom system is for the iterated revision (revision by a finite sequence of beliefs). Li [1] gave an R-calculus for R-configurations Δ|Γ,whereΔis a set of atomic formulas or the negations of atomic formulas, andΓis a finite set of formulas. In propositional logic programs, one R-calculus N will be given in this paper, such that N is sound and complete with respect to operator s(Δ,t), where s(Δ,t)is a pseudo-theory minimal change of t byΔ.