Logic and Modeling 2021: Lecture 11

Video 3: interpreting diamond and box

Video 4: truth in a model

Video 5: modal entailment, validity, equivalence