PP-2008-35: van Benthem, Johan and Gerbrandy, Jelle and Hoshi, Tomohiro and Pacuit, Eric (2008) Merging Frameworks for Interaction. [Report]
Preview |
Text (Full Text)
PP-2008-35.text.pdf Download (338kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2008-35.abstract.txt Download (1kB) |
Abstract
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 van 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 |
