PP-2011-10: Dégremont, Cédric and Löwe, Benedikt and Witzel, Andreas (2011) The synchronicity of dynamic epistemic logic. [Report]
Preview |
Text (Full Text)
PP-2011-10.text.pdf Download (445kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2011-10.abstract.txt Download (944B) |
Abstract
Van Benthem, Gerbrandy, Hoshi and Pacuit gave a natural translation of
dynamic epistemic logic (DEL) into epistemic temporal logic (ETL) and
proved a representation theorem, characterizing those ETL models that
are translations of some DEL protocol; among the characterizing
properties we also find synchronicity. In this paper, we argue that
synchronicity is not an inherent property of DEL, but rather of the
translation that van Benthem et al.\ used. We provide a different
translation that produces asynchronous ETL models and discuss a
minimal temporal extension of DEL that removes the ambiguities between
the possible translations. This allows us a first attempt of an
assessment which of the epistemic-temporal properties are intrinsic to
DEL and which are properties of the translation.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2011-10 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2011 |
| Uncontrolled Keywords: | DEL; synchronicity; forests |
| Depositing User: | Benedikt |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/414 |
Actions (login required)
 |
View Item |
