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.