发送短信: Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.