Structural Properties of Dynamic Reasoning
Johan van Benthem

Abstract:
We characterize the structural properties of 
dynamic inference in general update models, 
and show that these are exactly the ones of 
public update in epistemic logic.

Keywords: update, dynamic logic, epistemic logic, 
public announcement, representation