Baltag, 2003. A Coalgebraic Semantics for Epistemic Programs 82.. https://doi.org/10.1016/s1571-0661(04)80630-3