model theory

(redirected from Model (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
Mentioned in ?