model theory


model theory

n (Logic) the branch of logic that deals with the properties of models; the semantic study of formal systems ˈmodel-ˌtheoˈretic adj