Skip to main content
SpringerLink
Log in

Dynamic epistemic logic with branching temporal structures

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • 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).

  • Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about knowledge. MIT Press, Synthese Library. Boston

    Google Scholar 

  • Gerbrandy, J. (1999). Bisimulations on Planet Kripke. PhD thesis, ILLC.

  • Hoshi, T. (2008). Logics of public announcement with constrained protocols. LOFT.

  • Miller J., Moss L. (2005) The undecidability of iterated modal relativization. Studia Logica 79: 373–407

    Article  Google Scholar 

  • Parikh R., Ramanujam R. (2003) A knowledge based semantics of messages. Journal of Logic, Language, and Information 12: 453–467

    Article  Google Scholar 

  • Shoham Y., Leyton-Brown K. (2008) Multiagent systems: Algorithmic, game-theoretic, and logical foundations. Cambridge University Press, Cambridge

    Google Scholar 

  • van Benthem, J., Gerbrandy, J., Hoshi, T., & Pacuit, E. (2007). Merging frameworks for interaction: DEL and ETL.

  • van Benthem J., van Eijck J., Kooi B.J. (2006) Logic of communication and change. Information and Computation 204(11): 1620–1662

    Article  Google Scholar 

  • van Ditmarsch H., Kooi B. (2006) The secret of my success. Synthese 151(2): 201–232

    Article  Google Scholar 

  • van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic Epistemi Logic, volume 337 of Synthese Library. Springer.

  • Yap, A. (2007). Dynamic epistemic logic and temporal modality. Dynamic Logic Montréal.

Download references

Author information

Authors and Affiliations

  1. Stanford University, Stanford, CA, USA

    Tomohiro Hoshi

  2. University of Victoria, Victoria, BC, Canada

    Audrey Yap

Authors
  1. Tomohiro Hoshi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Audrey Yap
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Audrey Yap.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hoshi, T., Yap, A. Dynamic epistemic logic with branching temporal structures. Synthese 169, 259–281 (2009). https://doi.org/10.1007/s11229-009-9552-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-009-9552-6

Keywords

Search

Navigation