n. the branch of logic that studies the properties of models; the semantic study of formal systems. Model theory is concerned with the concepts of truth, satisfaction, and validity, which are defined extrinsically for a formal system, as contrasted with proof theory, which is concerned to study only the intrinsic property of syntactic deducibility.