Finite Model Theory (FMT) is a subarea of
model theory (MT). MT is the branch of
mathematical logic which deals with the relation between a formal language (syntax) and its interpretations (semantics). FMT is a restriction of MT to
interpretations of finite
structures, which have a finite universe.