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.