 Just as adding the common knowledge operator \(C\) to multi-agent epistemic logic extends the expressive capabilities of multi-agent epistemic logic, adding \(C\) to PAL results in the more expressive public announcement logic with common knowledge, (PAC). The exact relationship between public announcements and common knowledge is captured by the announcement and common knowledge rule of the logic PAC as the following: 