| 1 |
| Authors | J.F.A.K. van Benthem, D. Ikegami | | Title | Modal Fixed-Point Logic and Changing Models |
| Volume | 4800 |
| Book/source title | Pillars of Computer Science, Lecture Notes in Computer Science |
| Year | 2008 |
| Pages | 146-165 |
| Faculty | Faculty of Science |
| Institute/dept. | FNWI/FGw: Institute for Logic, Language and Computation (ILLC) |
| Keywords | Modal logic; Fixed-point logic; Product update |
| Series | ILLC Prepublications / ILLC ; PP-2008-19 |
| 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. |
| Note | This paper was published in Pillars of Computer Science, LNCS 4800, Springer Verlag, Heidelberg, pp. 146 - 165, dedicated to Professor Boris Trakhtenbrot. In this version, we also added one new result to the Appendix, namely, the product closure of continuous fragment of the modal $\mu$-calculus. |
| Document type | Preprint |
| Download paper | |
| Document finder | 
|
Use this url to link to this page: http://dare.uva.nl/en/record/270595
Contact us about this recordNotify a colleague
Add to bookbag
|
