Individual km#model-theoretic_semantics__modeltheoreticsemantic  the most widepsread approach, and is based on the idea that the meaning of the various parts of the propositions are given by the possible ways we can give a recursively specified group of interpretation functions from them to some predefined mathematical domains: an interpretation of first-order predicate logic is given by a mapping from terms to a universe of individuals, and a mapping from propositions to the truth values "true" and "false"
  >part of:  km#semantics_of_logic  approaches that logicians have introduced to understand and determine that part of meaning in which they are interested; the logician traditionally is not interested in the sentence as uttered but in the proposition, an idealised sentence suitable for logical manipulation
     >part of:  #semantics__semantic  the study of language meaning
        >part of:  is#theoretical_linguistics__theoreticallinguistic
           >part of:  #linguistics  the scientific study of language

No statement uses or specializes km#model-theoretic_semantics; click here to add one.