Before announcement

MaRDI QIDQ4636026zbMATH OpenFDO

Authors Philippe Balbiani, Andreas Herzig, Hans van Ditmarsch

Publication date 23 April 2018

zbMATH Keywords

complete axiomatizationpublic announcement logicsubset space logic

Mathematics Subject Classification ID

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

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

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)