Announcement as effort on topological spaces

Hans van Ditmarsch, Sophia R Knight, Aybüke Özgün

Research output: Contribution to journalArticle

Abstract

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.

Original languageEnglish (US)
Pages (from-to)2927-2969
Number of pages43
JournalSynthese
Volume196
Issue number7
DOIs
StatePublished - Jul 15 2019
Externally publishedYes

Fingerprint

axiomatization
semantics
Logic
Modality
Axiomatization
Completeness

Keywords

  • Arbitrary (public)announcements
  • Dynamic epistemic logic
  • Subset space logic
  • Topology

PubMed: MeSH publication types

  • Journal Article

Cite this

Announcement as effort on topological spaces. / van Ditmarsch, Hans; Knight, Sophia R; Özgün, Aybüke.

In: Synthese, Vol. 196, No. 7, 15.07.2019, p. 2927-2969.

Research output: Contribution to journalArticle

van Ditmarsch, H, Knight, SR & Özgün, A 2019, 'Announcement as effort on topological spaces', Synthese, vol. 196, no. 7, pp. 2927-2969. https://doi.org/10.1007/s11229-017-1592-8
van Ditmarsch, Hans ; Knight, Sophia R ; Özgün, Aybüke. / Announcement as effort on topological spaces. In: Synthese. 2019 ; Vol. 196, No. 7. pp. 2927-2969.
@article{a74196501847416ea2d1193612ead0f9,
title = "Announcement as effort on topological spaces",
abstract = "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.",
keywords = "Arbitrary (public)announcements, Dynamic epistemic logic, Subset space logic, Topology",
author = "{van Ditmarsch}, Hans and Knight, {Sophia R} and Ayb{\"u}ke {\"O}zg{\"u}n",
year = "2019",
month = "7",
day = "15",
doi = "10.1007/s11229-017-1592-8",
language = "English (US)",
volume = "196",
pages = "2927--2969",
journal = "Synthese",
issn = "0039-7857",
publisher = "Springer Netherlands",
number = "7",

}

TY - JOUR

T1 - Announcement as effort on topological spaces

AU - van Ditmarsch, Hans

AU - Knight, Sophia R

AU - Özgün, Aybüke

PY - 2019/7/15

Y1 - 2019/7/15

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

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

KW - Arbitrary (public)announcements

KW - Dynamic epistemic logic

KW - Subset space logic

KW - Topology

UR - http://www.scopus.com/inward/record.url?scp=85032463191&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85032463191&partnerID=8YFLogxK

U2 - 10.1007/s11229-017-1592-8

DO - 10.1007/s11229-017-1592-8

M3 - Article

VL - 196

SP - 2927

EP - 2969

JO - Synthese

JF - Synthese

SN - 0039-7857

IS - 7

ER -