SEMANTICS: a cover term for those extensions of
propositional logic and
predicate logic in which truth and
reference are construed relative to possible worlds, moments of time, or contexts.
Modal logic and temporal logic are the two most important instances of intensional
logic. Modal logic studies the logic of possibility and necessity, and temporal
logic studies the logic of time by means of tense operators. In
Montague Grammar an intensional
logic is used in which a formal distinction can be made between the
intension of an expression.
|LIT.||Gamut, L.T.F. (1991)|