An Introduction to Logics of Knowledge and Belief

Results in modal and dynamic epistemic logic - Paula Neeley (Lean Together 2021)

Appropriate formulation of the necessitation rule from modal logic

Understanding the modal necessitation rule

Epistemic Logic and ‘Common Knowledge’ - Marek Sergot: 499 Modal and Temporal Logic, Department of ComputingImperial College, London, Autumn 2008

It’s Common Knowledge

The Proof Theory of Common Knowledge – Michel Marti and Thomas Studer