Section outline

  • Frame definability and Second Order Logic.

    (Modal Logic Slides pages 57-66)