van Benthem, J. F. A. K., & Kooi, B. (2004). Reduction Axioms for Epistemic Actions. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, & H. Wansing (Eds.), Proceedings Advances in Model Logic 2004 (pp. 197-211). Department of Computer Science, University of Manchester.