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

Query: author: "benthem,j.f.a.k.van"

AuthorsJ.F.A.K. van Benthem, C. Dégrémont
TitleMulti-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics
FacultyFaculty of Science
Institute/dept.FNWI/FGw: Institute for Logic, Language and Computation (ILLC)
KeywordsDynamic logic, Doxastic logic, Temporal logic, Belief revision
SeriesILLC Prepublications / ILLC ; PP-2008-34
AbstractWe relate dynamic logics constructing new doxastic models as results of belief revision with doxastic temporal logics which describe changing beliefs over branching time models. Results include a representation theorem as well as modal definability results through frame correspondences. This work has been presented at LOFT 2008 (Amsterdam), and an extended version will be presented at ESSLLI Hamburg 2008.
Document typePreprint
Download paper
Document finderUvA-Linker