Announcement as effort on topological spaces

DOI10.1007/S11229-017-1592-8MaRDI QIDQ2053358zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Sophia Knight, Aybüke Özgün, Hans van Ditmarsch

Publication date 29 November 2021

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11229-017-1592-8

zbMATH Keywords

topologydynamic epistemic logicarbitrary public announcementssubset space logic

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 3616386 (Why is no real title available?)
• scientific article; zbMATH DE number 1233702 (Why is no real title available?)
• scientific article; zbMATH DE number 549982 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• A qualitative theory of dynamic interactive belief revision
• Admissibility of logical inference rules
• Axiomatising the logic of computer programming
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Complete axiomatizations for reasoning about knowledge and branching time
• Constructivism in mathematics. An introduction. Volume II
• Domain theory in logical form
• Dynamic logic for belief revision
• Handbook of epistemic logic
• Knowledge on treelike spaces
• Logics for multi-subset spaces
• Merging frameworks for interaction
• Modal logic
• On axiomatizations of public announcement logic
• On the solvability of inductive problems: a study in epistemic topology
• Private announcements on topological spaces
• Public announcement logic in geometric frameworks
• Subset space logic with arbitrary announcements
• Subset space public announcement logic
• The algebra of topology
• Topo-logic as a dynamic-epistemic logic
• Topological reasoning and the logic of knowledge
• Undecidability for arbitrary public announcement logic
• Updating knowledge using subsets
• Using the Universal Modality: Gains and Questions
• `Knowable' as `known after an announcement'

Cited in

(13)

• scientific article; zbMATH DE number 7450021 (Why is no real title available?)
• Public announcement logic in geometric frameworks
• To be announced
• Announcement as effort on topological spaces
• Orthogonal frames and indexed relations
• Private announcements on topological spaces
• Subset space logic with arbitrary announcements
• Reasoning about distributed information with infinitely many agents
• Topological subset space models for public announcements
• Topo-logic as a dynamic-epistemic logic
• Arbitrary public announcement logic with memory
• Logic and topology for knowledge, knowability, and belief
• Before announcement

This page was built for publication: Announcement as effort on topological spaces

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