# PP-2008-19: Modal Fixed-Point Logic and Changing Models

PP-2008-19: van Benthem, Johan and Ikegami, Daisuke (2008) Modal Fixed-Point Logic and Changing Models. [Report]

 Preview
Text (Full Text)
PP-2008-19.text.pdf

Text (Abstract)
PP-2008-19.abstract.txt

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.