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

Abstract

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
Volume215
DOIs
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

Funding Information:
We thank Philippe Balbiani for various detailed suggestions over the past year on how to improve our single-agent and multi-agent results in subset space logic and topological logics. We have found him very supportive of our efforts. We also thank the TARK reviewers 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:
© H. van Ditmarsch, S. Knight & A. Özgün.

Copyright:
Copyright 2017 Elsevier B.V., All rights reserved.

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

Cite this