Abstract
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in multi-agent systems that need not be synchronous. Since van Benthem and Pacuit (later joined by Hoshi and Gerbrandy) showed that standard Dynamic Epistemic Logic necessarily satisfies synchronicity, it follows that our arrow type is a new way of extending the domain of applicability of the Dynamic Epistemic Logic approach. Furthermore, our framework provides a new perspective on the van Benthem et al work itself. In particular, while each of our work and their work shows that epistemic temporal models generated by standard update frames necessarily satisfy certain structural properties such as synchronicity, our work clarifies the way in which these structural properties arise as a result of the inherent structure of standard update frames themselves.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Baltag, A., van Ditmarsch, H.P., Moss, L.S.: Epistemic logic and information update. In: Adriaans, P., van Benthem, J. (eds.) Handbook on the Philosophy of Information, pp. 369–463. Elsevier, Amsterdam (2008)
Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139(2), 165–224 (2004)
Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Gilboa, I. (ed.) TARK 1998, pp. 43–56 (1998)
van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)
van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. Journal of Philosophical Logic (in press, 2009)
van Benthem, J., Gerbrandy, J., Pacuit, E.: Merging frameworks for interaction: DEL and ETL. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), pp. 72–81 (2007)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library. Springer, Heidelberg (2007)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Hoshi, T., Yap, A.: Dynamic epistemic logic with branching temporal structures. Synthese (in press, 2009)
Parikh, R., Ramanujam, R.: A knowledge based semantics of messages. Journal of Logic, Language, and Information 12, 453–467 (2003)
Renne, B.: A survey of Dynamic Epistemic Logic. Manuscript (July 2008)
Renne, B., Sack, J., Yap, A.: Dynamic Epistemic Temporal Logic. Extended Manuscript (June 2009)
Sack, J.: Temporal languages for epistemic programs. Journal of Logic, Language, and Information 17(2), 183–216 (2008)
Yap, A.: Dynamic epistemic logic and temporal modality. Forthcoming in Proceedings of Dynamic Logic Montréal (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Renne, B., Sack, J., Yap, A. (2009). Dynamic Epistemic Temporal Logic. In: He, X., Horty, J., Pacuit, E. (eds) Logic, Rationality, and Interaction. LORI 2009. Lecture Notes in Computer Science(), vol 5834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04893-7_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-04893-7_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04892-0
Online ISBN: 978-3-642-04893-7
eBook Packages: Computer ScienceComputer Science (R0)