We can enrich this intensional FOL by another modal operators, as, for example, the "necessity" universal logic operator
a with accessibility relation R = W x W, obtaining an S5 Kripke structure [M.sub.int] = (W, R, D, V).
Faced with the situation described and with the use of traditional techniques to measure the impact of implementing ICT, it is not possible to obtain an adequate evaluation, since traditional techniques do not provide an appropriate solution, sometimes the information obtained with such techniques is imprecise or missing, a situation that needs to be resolved with other advanced techniques, such as the use of Compensatory Fuzzy Logic, this technique deals more solidly with linguistic terms and in particular the use of mathematical logic operators
. It provides linguistic models that express, through logical propositions, the translation of ambiguous phrases in a colloquial style as they refer to .
Part Two, Entertainment Control, begins by defining show types and cueing methods, followed by logic operators
and a brief introduction to networks.
The traditional logic operators
[logical not] (NOT), v (OR), and [conjunction] (AND) are redefined in terms of how they modify the truth value of the predicate(s) to which they are applied in order to produce the truth value of the final statement:
Consider the four logic operators
AND, OR, XOR and NXOR (not XOR).
[HTL.sup.*] is a temporal extension of SL; it includes all symbols of SL with additional temporal logic operators
, including backward path quantifiers (as explained later), using a notation similar to that of Wolper  and Lamport .
Variables and parameters are related by arithmetic operations, by a list of built-in mathematical functions or logic operators
(i.e., if, then, else), or by relationships that the user can graphically define using a mouse.