PP-2011-10: The synchronicity of dynamic epistemic logic

PP-2011-10: Dégremont, Cédric and Löwe, Benedikt and Witzel, Andreas (2011) The synchronicity of dynamic epistemic logic. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
PP-2011-10.text.pdf

Download (445kB) | Preview
[thumbnail of Abstract] 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 View Item