Section outline

  • Canonical Normal Modal Logics. Limitative Results. Incompleteness.
    (Modal Logic Slides pages 89-107)