Two Logical Faces of Belief Revision Johan van Benthem Abstract: This piece proposes a style of thinking using modal frame correspondence that puts Krister Segerberg’s dynamic doxastic logic and ‘Dutch’ dynamic-epistemic logic for belief change in one setting. While our technical results are elementary, they do suggest new lines of thought.