Logic and Modeling 2021: Lecture 7

Video 3: interpreting unquantified formulas

Video 4: interpretation of quantifiers

Video 5: semantic entailment