Announcement as effort on topological spaces

DOI10.1007/S11229-017-1592-8zbMATH Open1475.03075DBLPjournals/synthese/DitmarschKO19OpenAlexW2964151807WikidataQ59603666 ScholiaQ59603666MaRDI QIDQ2053358FDOQ2053358

Authors: Sophia Knight, Aybüke Özgün, Hans 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

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

zbMATH Keywords

topologydynamic epistemic logicarbitrary public announcementssubset space logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (13)

• Title not available (Why is that?)
• 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)