Announcement as effort on topological spaces
type: Item
instance of: scholarly article
title: Announcement as effort on topological spaces
zbMATH Open document ID: 1475.03075
author: Sophia Knight
author: Aybüke Özgün
author: Hans van Ditmarsch
published in: Synthese
publication date: 2021-11-29T00:00:00Z
Mathematics Subject Classification ID: 03B42
zbMATH DE Number: 7435332
zbMATH Keywords: topology
zbMATH Keywords: subset space logic
zbMATH Keywords: dynamic epistemic logic
zbMATH Keywords: arbitrary public announcements
MaRDI profile type: Publication
full work available at URL: s11229-017-1592-8
OpenAlex ID: W2964151807
Wikidata QID: Q59603666
cites work: Domain theory in logical form
cites work: ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
cites work: Subset Space Logic with Arbitrary Announcements
cites work: Q5015385
cites work: Topo-logic as a dynamic-epistemic logic
cites work: Q4648827
cites work: Public announcement logic in geometric frameworks
cites work: Modal logic
cites work: Q3867808
cites work: Topological reasoning and the logic of knowledge
cites work: Q5520521
cites work: Q3086938
cites work: Knowledge on treelike spaces
cites work: Updating knowledge using subsets
cites work: Axiomatising the logic of computer programming
cites work: Using the Universal Modality: Gains and Questions
cites work: Complete Axiomatizations for Reasoning about Knowledge and Time
cites work: Q4525781
cites work: Logics for multi-subset spaces
cites work: Q4223173
cites work: Q4180316
cites work: The algebra of topology
cites work: Admissibility of logical inference rules
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: Dynamic logic for belief revision
cites work: Merging frameworks for interaction
cites work: Q4287501
cites work: Complete axiomatizations for reasoning about knowledge and branching time
cites work: Private announcements on topological spaces
cites work: Q4578043
cites work: Q3994458
cites work: Subset Space Public Announcement Logic
cites work: On axiomatizations of public announcement logic
DOI: 10.1007/S11229-017-1592-8
DBLP publication ID: journals/synthese/DitmarschKO19
description: scientific article; zbMATH DE number 7435332