Reverse Public Announcement Operators on Expanded Models

Journal of Logic, Language and Information 27 (3):205-224 (2018)
  Copy   BIBTEX

Abstract

Past public announcement operators have been defined in Hoshi and Yap :259–281, 2009) and Yap, to describe an agent’s knowledge before an announcement occurs. These operators rely on branching-time structures that do not mirror the traditional, relativization-based semantics of public announcement logic, and favor a historical reading of past announcements. In this paper, we introduce reverse public announcement operators that are interpreted on expanded models. Our model expansion adds accessibility links from an epistemic model \ to a filtrated submodel of the canonical model for \. Here \ is the minimal normal modal logic together with \ axioms for the universal operator U. This yields a highly general pre-announcement version of \ that makes our operators potentially useful for studying non-standard interpretations of rescinded announcements in PAL. Indeed, we find that our reverse announcement operators cannot be represented by product update, and that they have an intimate connection with the knowledge forgetting of Zhang and Zhou :1525–1537, 2009). We show that the logic resulting from adding reverse announcements to PAL is sound and complete.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Propositional quantification in logics of contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.
Positive Announcements.Hans van Ditmarsch, Tim French & James Hales - 2020 - Studia Logica 109 (3):639-681.
A Hybrid Public Announcement Logic with Distributed Knowledge.Jens Ulrik Hansen - 2011 - Electronic Notes in Theoretical Computer Science 273:33-50.
Temporal languages for epistemic programs.Joshua Sack - 2008 - Journal of Logic, Language and Information 17 (2):183-216.

Analytics

Added to PP
2018-01-10

Downloads
21 (#173,985)

6 months
7 (#1,397,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Public Announcements, Public Lies and Recoveries.Kai Li & Jan van Eijck - 2022 - Journal of Logic, Language and Information 31 (3):423-450.

Add more citations

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.

View all 22 references / Add more references