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 language||English (US)|
|Number of pages||15|
|Journal||Electronic Proceedings in Theoretical Computer Science, EPTCS|
|State||Published - Jun 23 2016|
|Event||15th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015 - Pittsburgh, United States|
Duration: Jun 4 2015 → Jun 6 2015
Bibliographical noteFunding 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.
© H. van Ditmarsch, S. Knight & A. Özgün.