Subset Space Logic with Arbitrary Announcements

DOI10.1007/978-3-642-36039-8_21zbMath1303.03038OpenAlexW1671441886MaRDI QIDQ2936247

Andreĭ Valer'Evich Kudinov, Philippe Balbiani, Hans P. 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)

Related Items (13)

Augmenting Subset Spaces to Cope with Multi-agent Knowledge ⋮ Private announcements on topological spaces ⋮ On Topologically Relevant Fragments of the Logic of Linear Flows of Time ⋮ Putting right the wording and the proof of the Truth Lemma forAPAL ⋮ Propositional quantification in logics of contingency ⋮ Arbitrary public announcement logic with memory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Topological Subset Space Models for Public Announcements ⋮ Reusing topological nexttime logic ⋮ A dynamic logic for learning theory ⋮ Announcement as effort on topological spaces ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF

This page was built for publication: Subset Space Logic with Arbitrary Announcements