Sadrzadeh, M., Palmigiano, A., Ma, M., & Ditmarsch, H. (2011). Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. Springer.
Dyfyniad Arddull ChicagoSadrzadeh, M., A. Palmigiano, M. Ma, and H. Ditmarsch. Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. Springer, 2011.
Dyfyniad MLASadrzadeh, M., et al. Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. Springer, 2011.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.