Logic and Modeling 2021: Lecture 11

Video 5: modal entailment, validity, equivalence

Video 6: examples of determining truth at worlds