R-CALCULUS: A Logic of Belief Revision sidottuEnglanti, 2021