Interprétation Modèle-Théorique

L’affectation de valeurs sémantiques, d’éléments du domaine et de relations structurelles aux symboles d’un langage ou modèle formel qui établit des conditions de vérité ou des relations de satisfaction par rapport à une structure spécifiée, reliant ainsi le système formel à un domaine cible ou à une classe de structures.