Dynamic Logic of Belief Revision
Johan van Benthem

Abstract:
We show how belief revision can be treated systematically in the
format of dynamic-epistemic logic, with belief operators added. The
core engine are update rules for preference relations which have been
proposed independently in the dynamic epistemic literature for
preference change. The result is complete sets of reduction axioms, as
well as standard modal correspondence analysis for revision
postulates.