R-CALCULUS: A Logic of Belief Revision