Announcement as effort on topological spaces
Logic in Computer Science
2016-06-27 v1
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.
Keywords
Cite
@article{arxiv.1606.07527,
title = {Announcement as effort on topological spaces},
author = {Hans van Ditmarsch and Sophia Knight and Aybüke Özgün},
journal= {arXiv preprint arXiv:1606.07527},
year = {2016}
}
Comments
In Proceedings TARK 2015, arXiv:1606.07295