Topological Subset Space Models for Public Announcements

In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 165-186 (2018)
  Copy   BIBTEX

Abstract

We reformulate a key definition given by Wáng and Ågotnes to provide semantics for public announcements in subset spaces. More precisely, we interpret the precondition for a public announcement of ???? to be the “local truth” of ????, semantically rendered via an interior operator. This is closely related to the notion of ???? being “knowable”. We argue that these revised semantics improve on the original and offer several motivating examples to this effect. A key insight that emerges is the crucial role of topological structure in this setting. Finally, we provide a simple axiomatization of the resulting logic and prove completeness.

Categories

Keywords

Reprint years

DOI

10.1007/978-3-319-62864-6_6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Saturation and solvability in abstract elementary classes with amalgamation.Sebastien Vasey - 2017 - Archive for Mathematical Logic 56 (5-6):671-690.
A remark on hereditarily nonparadoxical sets.Péter Komjáth - 2016 - Archive for Mathematical Logic 55 (1-2):165-175.
Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent $${p > 2}$$ p > 2.Andreas Baudisch - 2016 - Archive for Mathematical Logic 55 (3-4):397-403.
Models of weak theories of truth.Mateusz Łełyk & Bartosz Wcisło - 2017 - Archive for Mathematical Logic 56 (5-6):453-474.
Isomorphic and strongly connected components.Miloš S. Kurilić - 2015 - Archive for Mathematical Logic 54 (1-2):35-48.
Cofinality of the laver ideal.Miroslav Repický - 2016 - Archive for Mathematical Logic 55 (7-8):1025-1036.
Minimal elementary end extensions.James H. Schmerl - 2017 - Archive for Mathematical Logic 56 (5-6):541-553.
$$I_0$$ I 0 and combinatorics at $$\lambda ^+$$ λ +.Nam Trang & Xianghui Shi - 2017 - Archive for Mathematical Logic 56 (1-2):131-154.
Katětov and Katětov-Blass orders on $$F_\sigma $$ F σ -ideals.Hiroaki Minami & Hiroshi Sakai - 2016 - Archive for Mathematical Logic 55 (7-8):883-898.
The $$q$$ q -majority efficiency of positional rules.Sébastien Courtin, Mathieu Martin & Issofa Moyouwou - 2015 - Theory and Decision 79 (1):31-49.
The joint embedding property and maximal models.John T. Baldwin, Martin Koerwien & Ioannis Souldatos - 2016 - Archive for Mathematical Logic 55 (3-4):545-565.
The definable tree property for successors of cardinals.Ali Sadegh Daghighi & Massoud Pourmahdian - 2016 - Archive for Mathematical Logic 55 (5-6):785-798.
Borel\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{*}$$\end{document} Sets in the Generalized Baire Space and Infinitary Languages. [REVIEW]Tapani Hyttinen & Vadim Kulikov - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 395-412.
Set theory without choice: not everything on cofinality is possible.Saharon Shelah - 1997 - Archive for Mathematical Logic 36 (2):81-125.
Σ1-wellorders without collapsing.Peter Holy - 2015 - Archive for Mathematical Logic 54 (3-4):453-462.

Analytics

Added to PP
2020-06-17

Downloads
9 (#1,224,450)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Adam Bjorndahl
Carnegie Mellon University

Citations of this work

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references