Teoria modeli (nazywana też czasem
semantyką logiczną) to 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, ale ma też mocno rozbudowany własny aparat pojęciowy i w swojej współczesnej postaci jest w pełni samodzielną dziedziną wiedzy.