Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
Minghui Ma‚ Alessandra Palmigiano and Mehrnoosh Sadrzadeh
Journal
submitted to THE THIRD INTERNATIONAL WORKSHOP ON LOGIC‚ RATIONALITY AND INTERACTION‚ Guangzhou‚ China‚ October 2011
Year
2011