The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

# Search results

## Record: oai:ARNO:270595

1 to 1 of 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 document/104197 Document finder