satisfaction
semantic truth
more semantic truth
more semantic truth
finish semantic truth
model theory
quantifiers, model theory
model theory sections
algebraic logic sectioning
validity, soundness
more kripke semantics
formal semantics initial complete