Topological Subset Space Models for Public Announcements

DOI10.1007/978-3-319-62864-6_6zbMath1437.03059arXiv1302.4009OpenAlexW2560787558MaRDI QIDQ3299575

Adam Bjorndahl

Publication date: 24 July 2020

Published in: Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (Search for Journal in Brave)

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

zbMATH Keywords

topologyaxiomatizationknowabilitypublic announcementssubset space logic

Mathematics Subject Classification ID

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

Related Items (7)

To be announced ⋮ The Topology of Statistical Verifiability ⋮ Arbitrary public announcement logic with memory ⋮ Unnamed Item ⋮ The epistemology of nondeterminism ⋮ A dynamic logic for learning theory ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic epistemic logic
• Topological reasoning and the logic of knowledge
• Logics of public communications
• Subset Space Logic with Arbitrary Announcements
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• Using the Universal Modality: Gains and Questions
• What one may come to know
• Reasoning About Space: The Modal Way

This page was built for publication: Topological Subset Space Models for Public Announcements