model theory

noun

1. the branch of logic that deals with the properties of models; the semantic study of formal systems

Derived Forms

• ˈmodel-ˌtheoˈretic, adjective