Video 1: modal logic intro

Video 2: Kripke models

Video 3: interpreting diamond and box

Video 4: truth in a model

Video 5: modal entailment, validity, equivalence

Video 6: examples of determining truth at worlds

Q&A Session