Archive for December, 2009
06
Dec
Title: Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent Systems Abstract: I will 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) [...]
