Model Theory

specifies the semantics of a formal language; assumes that the language refers to a ‘world’, and describes the minimal conditions that a world must satisfy in order to assign an appropriate meaning for every expression in the language.