R-Calculus: A logic of belief revision