Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic - Ma, M; Palmigiano, A; Sadrzadeh, M (2011)