PP-2008-35: Merging Frameworks for Interaction

PP-2008-35: van Benthem, Johan and Gerbrandy, Jelle and Hoshi, Tomohiro and Pacuit, Eric (2008) Merging Frameworks for Interaction. [Report]

Text (Full Text)

Download (338kB) | Preview
[img] Text (Abstract)

Download (1kB)


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

Item Type: Report
Report Nr: PP-2008-35
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: Dynamic epistemic logic; Epistemic temporal logic; ; Protocols; Representation; Completeness
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/309

Actions (login required)

View Item View Item