Basic Modal Language. Models and Frames. Satisfaction and Validity. Definability.
(Modal Logic Slides pages 1-18)