Arbitrary announcements on topological subset spaces

Hans van Ditmarsch, Sophia Knight, Aybüke Özgün

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations


Subset space semantics for public announcement logic in the spirit of the effort modality have been proposed by Wang and Ågotnes [18] and by Bjorndahl [6]. They propose to model the public announcement modality by shrinking the epistemic range with respect to which a postcondition of the announcement is evaluated, instead of by restricting the model to the set of worlds satisfying the announcement. Thus we get an “elegant, model-internal mechanism for interpreting public announcements” [6, p. 12]. In this work, we extend Bjorndahl’s logic PALint of public announcement, which is modelled on topological spaces using subset space semantics and adding the interior operator, with an arbitrary announcement modality, and we provide topological subset space semantics for the corresponding arbitrary announcement logic APALint, and demonstrate completeness of the logic by proving that it is equal in expressivity to the logic without arbitrary announcements, employing techniques from [2,13].

Original languageEnglish (US)
Title of host publicationMulti-Agent Systems - 12th European Conference, EUMAS 2014, Revised Selected Papers
EditorsNils Bulling
PublisherSpringer Verlag
Number of pages15
ISBN (Print)9783319171296
StatePublished - 2015
Externally publishedYes
Event12th European Conference on Multi-Agent Systems, EUMAS 2014 - Prague, Czech Republic
Duration: Dec 18 2014Dec 19 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other12th European Conference on Multi-Agent Systems, EUMAS 2014
Country/TerritoryCzech Republic

Bibliographical note

Funding Information:
We thank the EUMAS reviewers and Philippe Balbiani for their valuable comments. Hans van Ditmarsch is also affiliated to IMSc (Institute of Mathematical Sciences), Chennai, as research associate. We acknowledge support from European Research Council grant EPS 313360.

Publisher Copyright:
© Springer International Publishing Switzerland 2015.


Dive into the research topics of 'Arbitrary announcements on topological subset spaces'. Together they form a unique fingerprint.

Cite this