Repository | Journal | Volume | Articles
(2009) Synthese 169 (2).
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.
Publication details
DOI: 10.1007/s11229-009-9552-6
Full citation:
Hoshi, T. , Yap, A. (2009). Dynamic epistemic logic with branching temporal structures. Synthese 169 (2), pp. 259-281.
This document is unfortunately not available for download at the moment.