Section outline

  • Invariance Results. Undefinable Properties. Hennesy-Milner Theorem.

    (Modal Logic Slides pages 19-36)