Relating Algebraic and Coalgebraic Logics of Knowledge and Update - Cirstea, C; Sadrzadeh, M (2006)