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. Keywords: belief revision; dynamic epistemic; logic; dynamic doxastic logic; ; relation change; reduction axioms; ; modal frame correspondence