The semantic component provides: Models or interpretations that assign meaning to formulas Truth conditions or satisfaction relations The semantic entailment relation ⊨ Validity and satisfiability concepts