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