Topological subset space models for public announcements

DOI10.1007/978-3-319-62864-6_6MaRDI QIDQ3299575zbMATH OpenOpenAlexFDO

Authors Adam Bjorndahl

Publication date 24 July 2020

Full work available at URL https://arxiv.org/abs/1302.4009

zbMATH Keywords

axiomatizationknowabilitypublic announcementssubset space logictopology

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Abstract: We reformulate a key definition given by Wang and Agotnes (2013) to provide semantics for public announcements in subset spaces. More precisely, we interpret the precondition for a public announcement of {phi} to be the "local truth" of {phi}, semantically rendered via an interior operator. This is closely related to the notion of {phi} 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.

Recommendations

• Public announcement logic in geometric frameworks
• Private announcements on topological spaces
• Subset space public announcement logic
• Announcement as effort on topological spaces
• Subset space logic with arbitrary announcements

Cites work

• `Knowable' as `known after an announcement'
• Dynamic epistemic logic
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Logics of public communications
• Modal logic
• Reasoning About Space: The Modal Way
• Subset space logic with arbitrary announcements
• Topological reasoning and the logic of knowledge
• Using the Universal Modality: Gains and Questions
• What one may come to know

Cited in

(15)

• Private announcements on topological spaces
• Topo-logic as a dynamic-epistemic logic
• Announcement as effort on topological spaces
• Arbitrary public announcement logic with memory
• Public announcement logic in geometric frameworks
• Subset space logic with arbitrary announcements
• Subset space public announcement logic
• The topology of statistical verifiability
• Logic and topology for knowledge, knowability, and belief
• Announcement as effort on topological spaces
• Uncertainty about evidence
• A dynamic logic for learning theory
• To be announced
• The epistemology of nondeterminism
• A hyperintensional approach to positive epistemic possibility

This page was built for publication: Topological subset space models for public announcements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3299575)