Knight, S.

van Ditmarsch, H.

Özgün, A.

English

We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, 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, with S5 knowledge modality, and demonstrate their completeness. We moreover consider the weaker axiomatizations of three logics with S4 type of knowledge and prove soundness and completeness results for these systems

International Migration, Integration and Social Cohesion online publications

Announcement as Effort on Topological Spaces

https://pure.uva.nl/ws/files/37405937/Ditmarsch2019_Article_AnnouncementAsEffortOnTopologi.pdf

Announcement as Effort on Topological Spaces

Abstract

Similar works

Full text

Available Versions

International Migration, Integration and Social Cohesion online publications