Indeed. See https://en.wikipedia.org/wiki/Common_knowledge_(logic)