أرسل هذا في رسالة قصيرة: Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.