Modal Fixed-Point Logic and Changing Models Johan van Benthem, Daisuke Ikegami Abstract: We show that propositional dynamic logic and the modal $\mu$-calculus are closed under product modalities, as defined in current dynamic-epistemic logics. Our analysis clarifies the latter systems, while also raising some new questions about fixed-point logics.