Dynamic epistemic logic with branching temporal structures

Synthese 169 (2):259 - 281 (2009)

Authors
Tomohiro Hoshi
Stanford University
Audrey Yap
University of Victoria
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
Categories (categorize this paper)
DOI 10.1007/s11229-009-9552-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,293
Through your library

References found in this work BETA

Merging Frameworks for Interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.
A Knowledge Based Semantics of Messages.Rohit Parikh & Ramaswamy Ramanujam - 2003 - Journal of Logic, Language and Information 12 (4):453-467.
The Secret of My Success.Hans Van Ditmarsch & Barteld Kooi - 2006 - Synthese 151 (2):201-232.

View all 7 references / Add more references

Citations of this work BETA

Logic for Update Products and Steps Into the Past.Joshua Sack - 2010 - Annals of Pure and Applied Logic 161 (12):1431-1461.
A General Framework for Dynamic Epistemic Logic: Towards Canonical Correspondences.Shota Motoura - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):50-89.

View all 11 citations / Add more citations

Similar books and articles

Epistemic Logic and Epistemology.Boudewijn de Bruin - 2008 - In Vincent F. Hendricks & Duncan Pritchard (eds.), New Waves in Epistemology. Palgrave-Macmillan.
Merging Frameworks for Interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Reasoning About Information Change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.
Merging DEL and ETL.Tomohiro Hoshi - 2010 - Journal of Logic, Language and Information 19 (4):413-430.

Analytics

Added to PP index
2009-04-27

Total views
97 ( #84,515 of 2,270,971 )

Recent downloads (6 months)
5 ( #265,242 of 2,270,971 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature