Announcement as effort on topological spaces
From MaRDI portal
Publication:2053358
DOI10.1007/s11229-017-1592-8zbMath1475.03075OpenAlexW2964151807WikidataQ59603666 ScholiaQ59603666MaRDI QIDQ2053358
Aybüke Özgün, Sophia Knight, Hans P. van Ditmarsch
Publication date: 29 November 2021
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-017-1592-8
Related Items (6)
Orthogonal frames and indexed relations ⋮ To be announced ⋮ Arbitrary public announcement logic with memory ⋮ Unnamed Item ⋮ Reasoning about distributed information with infinitely many agents ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF
Cites Work
- On axiomatizations of public announcement logic
- Merging frameworks for interaction
- Axiomatising the logic of computer programming
- Domain theory in logical form
- Constructivism in mathematics. An introduction. Volume II
- Admissibility of logical inference rules
- Knowledge on treelike spaces
- Complete axiomatizations for reasoning about knowledge and branching time
- Private announcements on topological spaces
- Topo-logic as a dynamic-epistemic logic
- Topological reasoning and the logic of knowledge
- The algebra of topology
- Public Announcement Logic in Geometric Frameworks
- Logics for multi-subset spaces
- Updating knowledge using subsets
- Subset Space Logic with Arbitrary Announcements
- Subset Space Public Announcement Logic
- ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
- Dynamic logic for belief revision
- Using the Universal Modality: Gains and Questions
- Complete Axiomatizations for Reasoning about Knowledge and Time
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Announcement as effort on topological spaces
