Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

  title={Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic},
  author={Mehrnoosh Sadrzadeh and Alessandra Palmigiano and Minghui Ma},
  booktitle={Ann. Pure Appl. Logic},
In the present paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements, which are the simplest epistemic actions, and hence on Public Announcement Logic (PAL) without the common knowledge operator. As is well known, the epistemic action of publicly announcing a given proposition is semantically represented as a transformation of the model encoding the current epistemic setup of the given agents; the given current model being… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 12 references

Axiomatizations for Some Intuitionistic Modal Logics

  • H. van Ditmarsch, W. van der Hoek, B. Kooi
  • logic. Annals of Pure and Applied Logic,
  • 2012

Modal Logic for Open Minds

  • J. van Benthem
  • CSLI publications,
  • 2007

The logic of public announcements , common knowledge , and private suspicions , CWI technical report SEN - R 9922 , 1999 . 2 A . Baltag , B . Coecke and M . Sadrzadeh . Epistemic Actions as Resources

  • L. Moss Baltag, S. Solecki
  • Modal Logic for Open Minds
  • 2007

Stone Spaces

  • P. Johnstone
  • Memoires Amer. Math
  • 1997

The structure of lattices of subframe logics

  • F. Wolters
  • Ann. Pure Appl. Logic
  • 1994

Similar Papers

Loading similar papers…