, Volume 169, Issue 2, pp 259–281 | Cite as

Dynamic epistemic logic with branching temporal structures

  • Tomohiro Hoshi
  • Audrey YapEmail author


van Bentham et al. (Merging frameworks for interaction: DEL and ETL, 2007) provides a framework for generating the models of Epistemic Temporal Logic (ETL: Fagin et al., Reasoning about knowledge, 1995; Parikh and Ramanujam, Journal of Logic, Language, and Information, 2003) from the models of Dynamic Epistemic Logic (DEL: Baltag et al., in: Gilboa (ed.) Tark 1998, 1998; Gerbrandy, Bisimulations on Planet Kripke, 1999). We consider the logic TDEL on the merged semantic framework, and its extension with the labeled past-operator “P ϵ” (“The event ϵ has happened before which. . .”). To axiomatize the extension, we introduce a method for transforming a given model into a normal form in a suitable sense. These logics suggest further applications of DEL in the theory of agency, the theory of learning, etc.


Modal logic Epistemic logic DEL ETL Dynamic epistemic logic Epistemic temporal logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements, common knowledge and private suspicions. In I. Gilboa (Ed.) TARK 1998 (pp. 43–56).Google Scholar
  2. Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about knowledge. MIT Press, Synthese Library. BostonGoogle Scholar
  3. Gerbrandy, J. (1999). Bisimulations on Planet Kripke. PhD thesis, ILLC.Google Scholar
  4. Hoshi, T. (2008). Logics of public announcement with constrained protocols. LOFT.Google Scholar
  5. Miller J., Moss L. (2005) The undecidability of iterated modal relativization. Studia Logica 79: 373–407CrossRefGoogle Scholar
  6. Parikh R., Ramanujam R. (2003) A knowledge based semantics of messages. Journal of Logic, Language, and Information 12: 453–467CrossRefGoogle Scholar
  7. Shoham Y., Leyton-Brown K. (2008) Multiagent systems: Algorithmic, game-theoretic, and logical foundations. Cambridge University Press, CambridgeGoogle Scholar
  8. van Benthem, J., Gerbrandy, J., Hoshi, T., & Pacuit, E. (2007). Merging frameworks for interaction: DEL and ETL.Google Scholar
  9. van Benthem J., van Eijck J., Kooi B.J. (2006) Logic of communication and change. Information and Computation 204(11): 1620–1662CrossRefGoogle Scholar
  10. van Ditmarsch H., Kooi B. (2006) The secret of my success. Synthese 151(2): 201–232CrossRefGoogle Scholar
  11. van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic Epistemi Logic, volume 337 of Synthese Library. Springer.Google Scholar
  12. Yap, A. (2007). Dynamic epistemic logic and temporal modality. Dynamic Logic Montréal.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  1. 1.Stanford UniversityStanfordUSA
  2. 2.University of VictoriaVictoriaCanada

Personalised recommendations