Algebraic semantics and model completeness for intuitionistic public announcement logic

M Ma, A Palmigiano, M Sadrzadeh

Research output: Contribution to journalArticleScientificpeer-review

23 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)963-995
Number of pages33
JournalAnnals of Pure and Applied Logic
Volume165
Issue number4
Publication statusPublished - 2014

Keywords

  • CWTS JFIS < 0.75

Cite this