Before announcement

zbMATH Open1400.03027MaRDI QIDQ4636026FDOQ4636026

Authors: Philippe Balbiani, Andreas Herzig, Hans van Ditmarsch 

Publication date: 23 April 2018

Recommendations

• `Knowable' as `known after an announcement'
• Tableaux for Public Announcement Logic
• Total Public Announcements
• On axiomatizations of public announcement logic
• Announcement as effort on topological spaces

zbMATH Keywords

complete axiomatizationpublic announcement logicsubset space logic

Mathematics Subject Classification ID

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

Cited In (9)

• Public announcements, public lies and recoveries
• Public announcements for non-omniscient agents
• To be announced
• Announcements to attentive agents
• Announcement as effort on topological spaces
• On inverse operators in dynamic epistemic logic
• Arbitrary public announcement logic with memory
• Reverse public announcement operators on expanded models
• A separation logic with histories of epistemic actions as resources

This page was built for publication: Before announcement

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