Skip to main content

common_knowledge_via_announcement

qualia_core_db::modalities::epistemic

Function common_knowledge_via_announcement 

Source 
pub fn common_knowledge_via_announcement(everyone_perceived: bool) -> bool
Expand description

Common knowledge C φ: practically established by a PUBLIC ANNOUNCEMENT to the whole group (everyone knows φ, everyone knows that everyone knows, ad infinitum). Holds iff the announcement was perceived by everyone.