the branch of logic that deals with the properties of models; the semantic study of formal systems
Derived forms
model-theoretic (ˈmodel-ˌtheoˈretic)
adjective
Examples of 'model theory' in a sentence
model theory
We use the formalism of finite model theory in this work.
Shah Nigam H, Racunas Stephen A, Fedoroff Nina V 2006, 'A case study in pathway knowledgebase verification', BMC Bioinformaticshttp://www.biomedcentral.com/1471-2105/7/196. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
The results are compared with the most up-to-date standard model theory predictions.
Daskalakis Georgios 2017, 'Top Physics at CMS/LHC', EPJ Web of Conferenceshttps://doi.org/10.1051/epjconf/201716407051. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)