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, J. Gerbrandy, T. Hoshi, E. Pacuit
TitleMerging Frameworks for Interaction
FacultyFaculty of Science
Institute/dept.FNWI/FGw: Institute for Logic, Language and Computation (ILLC)
KeywordsDynamic epistemic logic, Epistemic temporal logic,; Protocols, Representation, Completeness
SeriesILLC Prepublications / ILLC ; PP-2008-35
AbstractWe define new dynamic epistemic models with an added notion
of 'protocol' describing the current informational process,
which may reflect conversation, observation, or experiment.
This adds a new concept of 'procedural information' to
the factual and multi-agent information already handled
by dynamic epistemic logics. We show how this richer
perspective modifies existing representation results
for DEL models inside branching temporal universes, and
we give a new completeness proof for public announcement
logic with protocols, which no longer works via the
usual reduction to pure epistemic statements. Finally,
we sketch the contours of a general logic of protocols.
This is the expanded version of an earlier paper
presented at TARK 2007, which includes a new notion
of 'local' world-dependent protocols that need not
be common knowledge between all agents involved.
Document typePreprint
Download
Document finderUvA-Linker