Proof of the Hennesy-Milner Theorem. Finite Model Property. Standard Translation. Lob formula.
(Modal Logic Slides pages 37-56)