Teoria modeli (nazywana też semantyką logiczną) – dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi. Dziedzina ta jest w znacznym stopniu powiązana z algebrą i teorią mnogości[1], ale ma też mocno rozbudowany własny aparat pojęciowy i w swojej współczesnej postaci jest w pełni samodzielną dziedziną wiedzy.