Synthese

, Volume 169, Issue 2, pp 259–281

Dynamic epistemic logic with branching temporal structures

Article

DOI: 10.1007/s11229-009-9552-6

Cite this article as:
Hoshi, T. & Yap, A. Synthese (2009) 169: 259. doi:10.1007/s11229-009-9552-6

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.

Keywords

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

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

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