Subset space logic with arbitrary announcements

DOI10.1007/978-3-642-36039-8_21MaRDI QIDQ2936247zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, A. V. Kudinov, Hans van Ditmarsch

Publication date 6 January 2015

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36039-8_21

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(17)

• Private announcements on topological spaces
• Reusing topological nexttime logic
• Announcement as effort on topological spaces
• Arbitrary public announcement logic with memory
• Public announcement logic in geometric frameworks
• Subset space public announcement logic
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• Topological subset space models for public announcements
• Logic and topology for knowledge, knowability, and belief. Extended abstract
• Logic and topology for knowledge, knowability, and belief
• Putting right the wording and the proof of the truth lemma for \textit{APAL}
• Propositional quantification in logics of contingency
• Announcement as effort on topological spaces
• Augmenting subset spaces to cope with multi-agent knowledge
• A dynamic logic for learning theory
• Epistemic skills: logical dynamics of knowing and forgetting
• Epistemic skills: reasoning about knowledge and oblivion

This page was built for publication: Subset space logic with arbitrary announcements

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