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