model theory

(redirected from Model (in logic))
Also found in: Encyclopedia.

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