A Note on Modeling Theories Johan van Benthem Abstract: We discuss recent formats for theory structure and theory update in the philosophy of science, using ideas from epistemic and dynamic logic.