Video 1: syntax and semantics, revisited

Video 2: first order models

Video 3: interpreting unquantified formulas

Video 4: interpretation of quantifiers

Video 5: semantic entailment

Q&A Session