Model-Theoretic Interpretation

The assignment of semantic values, domain elements, and structural relations to the symbols of a formal language or model that establishes truth‑conditions or satisfaction relations relative to a specified structure, thereby linking the formal system to a target domain or class of structures.