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.