Relevant epistemic logic with public announcements and common knowledge
scientific article; zbMATH DE number 7669826