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).

Zoekresultaten

Zoekopdracht: faculteit: "FNWI" en publicatiejaar: "2008"

AuteursJ. van Benthem, D. Ikegami
TitelModal fixed-point logic and changing models
Boek/bron titelPillars of computer science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
Auteurs/EditorsA. Avron, N. Dershowitz, A. Rabinovich
UitgeverSpringer
PlaatsBerlin
Jaar2008
Pagina's146-165
ISBN9783540781264
FaculteitFaculteit der Natuurwetenschappen, Wiskunde en Informatica
Instituut/afd.FNWI: Institute for Logic, Language and Computation (ILLC)
SamenvattingWe show that propositional dynamic logic and the modal μ-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.
Soort documentHoofdstuk
Document finderUvA-Linker