Logic and Modeling 2021: Lecture 11

Video 1: modal logic intro

Video 2: Kripke models