Announcement as effort on topological spaces

Announcement as effort on topological spaces

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...

Full description

Bibliographic Details
Main Authors: Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
Format: Article
Language:English
Published: Open Publishing Association 2016-06-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1606.07527v1
id doaj-b394954123654bdda5b94aa0f9261ae3
record_format Article
spelling doaj-b394954123654bdda5b94aa0f9261ae32020-11-25T00:35:57ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802016-06-01215Proc. TARK 201528329710.4204/EPTCS.215.20:15Announcement as effort on topological spacesHans van DitmarschSophia KnightAybüke ÖzgünWe 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.http://arxiv.org/pdf/1606.07527v1
collection DOAJ
language English
format Article
sources DOAJ
author Hans van Ditmarsch
Sophia Knight
Aybüke Özgün
spellingShingle Hans van Ditmarsch
Sophia Knight
Aybüke Özgün
Announcement as effort on topological spaces
Electronic Proceedings in Theoretical Computer Science
author_facet Hans van Ditmarsch
Sophia Knight
Aybüke Özgün
author_sort Hans van Ditmarsch
title Announcement as effort on topological spaces
title_short Announcement as effort on topological spaces
title_full Announcement as effort on topological spaces
title_fullStr Announcement as effort on topological spaces
title_full_unstemmed Announcement as effort on topological spaces
title_sort announcement as effort on topological spaces
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2016-06-01
description 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.
url http://arxiv.org/pdf/1606.07527v1
work_keys_str_mv AT hansvanditmarsch announcementaseffortontopologicalspaces
AT sophiaknight announcementaseffortontopologicalspaces
AT aybukeozgun announcementaseffortontopologicalspaces
_version_ 1725306933798240256

Similar Items