Title: Connecting Dynamic Epistemic and Temporal Epistemic Logics
Authors: H.P. van Ditmarsch, W. van der Hoek, and J. Ruan.
Abstract: We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. In particular, given an epistemic state (pointed Kripke model with equivalence relations) and a formula in a dynamic epistemic logic (a logic describing the consequences of epistemic actions), we construct an interpreted system relative to that epistemic state and that formula that satisfies the translation of the formula into a temporal epistemic logic. The construction involves that the protocol that is implicit in the dynamic epistemic formula, i.e., the set of sequences of actions being executed to evaluate the formula, is made explicit. We first focus on the logic of knowledge and change that is known as public announcement logic, then generalize our results to a dynamic epistemic logic.
It is published in The Logic Journal of the IGPL.
http://jigpal.oxfordjournals.org/content/early/2011/10/27/jigpal.jzr038.refs
PDF:
http://jigpal.oxfordjournals.org/content/early/2011/10/27/jigpal.jzr038.full.pdf+html
It is an extended version of this workshop paper.
The paper was first submitted when I was still at the University of Liverpool (UK) in 2009; the revision was made when I was at the StFX University (Canada) in 2010, and finally accepted when I moved to the current University of New South Wales (Australia) in 2011.
Related posts:
- Conference paper: The Epistemic Logic Behind the Game Description Language Title: The Epistemic Logic Behind the Game Description Language Authors:...
Related posts brought to you by Yet Another Related Posts Plugin.
No Comments
You must be logged in to post a comment.
