Relating Algebraic and Coalgebraic Logics of Knowledge and Update
Mehrnoosh Sadrzadeh, Corina Ĉırstea · ePrints Soton (University of Southampton) · 2006
We provide a Coalgebraic semantics for dynamic epistemic logic and prove the muddy children puzzle using recursion. We show how by applying a similar approach to Jacob's predicate lifting to our Coalgebra, one obtains the algebraic logic version of dynmic epistemic logic.