Subset Space Public Announcement Logic
From MaRDI portal
Publication:2936248
DOI10.1007/978-3-642-36039-8_22zbMath1303.03046OpenAlexW162179720MaRDI QIDQ2936248
No author found.
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_22
topologyexpressivityepistemic logicpublic announcement logicsubset space logicarbitrary announcements
Related Items (11)
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 ⋮ The Topology of Statistical Verifiability ⋮ Arbitrary public announcement logic with memory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reusing topological nexttime logic ⋮ Announcement as effort on topological spaces ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF
This page was built for publication: Subset Space Public Announcement Logic