Connecting dynamic epistemic and temporal epistemic logics

摘要: We give a relation between logic of knowledge and change, with semantics on Kripke models, time, interpreted systems. In particular, given an epistemic state (pointed model equivalence relations) formula in dynamic (a describing the consequences actions), we construct system relative to that satisfies translation into temporal logic. The construction involves protocol is implicit formula, i.e., set sequences actions being executed evaluate made explicit. first focus change known as public announcement logic, then generalize our results