SEMANTICS: the property that is assigned to sentences (or propositions or
formulas) in truth-conditional semantics. A sentence can be true (also 1 or T) or
false (also 0 or F) in a two-valued logic, but
there are more truth-values in more-valued logics. Truth conditions (or truth
definitions) specify in which circumstances a proposition is true, relative to a
model, i.e., an assignment of values (a valuation)
to the basic expressions that constitute the proposition.
|LIT.||Gamut, L.T.F. (1991)|