From Hypersets to Kripke Models in Logics of Announcements

@inproceedings{Moss1999FromHT,
  title={From Hypersets to Kripke Models in Logics of Announcements},
  author={Lawrence S. Moss},
  year={1999}
}
This note discusses two semantics for a logic of group announcements and verifies that the two have the appropriate relation. The first semantics is the hyperset semantics of Gerbrandy [4, 5] and Gerbrandy and Groeneveld [6]. The second is the Kripke model semantics of Baltag, Moss and Solecki [2]. The relation between the two semantics was noted without proof in [2]. A proof does appear in Gerbrandy [5]. The presentation here is more algebraic in that it uses coalgebras and final coalgebra… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
8 Extracted Citations
7 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-7 of 7 references

Bisimulations on Planet Kripke

  • Jelle Gerbrandy
  • Ph.D. Dissertation, University of Amsterdam,
  • 1999
Highly Influential
7 Excerpts

Dynamic Epistemic Logic, in Logic, Language, and Information, vol. III, CSLI

  • Jelle Gerbrandy
  • 1999
Highly Influential
6 Excerpts

Vicious Circles

  • Jon Barwise, Lawrence Moss
  • CSLI Lecture Notes Number 60, CSLI Publications,
  • 1996
1 Excerpt

Non-Well-Founded Sets, CSLI Lecture Notes Number 14

  • Peter Aczel
  • CSLI Publications,
  • 1988
2 Excerpts

Parametric Corecursion

  • Lawrence S. Moss
  • to appear in Theoretical Computer Science.
1 Excerpt

Similar Papers

Loading similar papers…