Announcement as effort on topological spaces

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

Research output: Contribution to journalConference articlepeer-review

2 Scopus citations


We propose a multi-agent logic of knowledge, public and arbitrary announcements, that is interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, and demonstrate their completeness.

Original languageEnglish (US)
Pages (from-to)283-297
Number of pages15
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
StatePublished - Jun 23 2016
Externally publishedYes
Event15th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015 - Pittsburgh, United States
Duration: Jun 4 2015Jun 6 2015

Bibliographical note

Publisher Copyright:
© H. van Ditmarsch, S. Knight & A. Özgün.


Dive into the research topics of 'Announcement as effort on topological spaces'. Together they form a unique fingerprint.

Cite this