Model checking Dynamic Epistemics in Branching Time

Authors: H.P. van Ditmarsch, J. Ruan, and W. van der Hoek 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. More in particular, given an epistemic state (pointed multi-agent Kripke model where all [...]