References for epistemic logic

• 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