Relating Algebraic and Coalgebraic Logics of Knowledge and Update (LOFT‚ University of Liverpool‚ 2006., 2006)

(untitled) - Cirstea, C; Sadrzadeh, M