model theory
noun
1.
the branch of logic that deals with the properties of models; the semantic study of formal systems
Derived Forms
model-theoretic,
adjective