Relating Algebraic and Coalgebraic Logics of Knowledge and Update - Cirstea, C; Sadrzadeh, M (LOFT‚ University of Liverpool‚ 2006., 2006)