Reasoning about knowledge
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Complete Axiomatizations for Reasoning about Knowledge and Time
SIAM Journal on Computing
Logics of communication and change
Information and Computation
Adding temporal logic to dynamic epistemic logic
Adding temporal logic to dynamic epistemic logic
Dynamic Epistemic Logic
Epistemic dynamics and protocol information
Epistemic dynamics and protocol information
Dynamic epistemic temporal logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Logic of information flow on communication channels
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Bridges between dynamic doxastic and doxastic temporal logics
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Synchronizing Diachronic Uncertainty
Journal of Logic, Language and Information
Logic of information flow on communication channels
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic
Journal of Logic and Computation
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Hi-index | 0.00 |
In a recent paper, 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 at assessing which of the epistemic-temporal properties are intrinsic to DEL and which are properties of the translation.