We can enrich this intensional FOL by another modal operators, as, for example, the "necessity" universallogic 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 mathematicallogic operators. It provides linguistic models that express, through logical propositions, the translation of ambiguous phrases in a colloquial style as they refer to [6].

Part Two, Entertainment Control, begins by defining show types and cueing methods, followed bylogic operators and a brief introduction to networks.

The traditionallogic 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 fourlogic operators AND, OR, XOR and NXOR (not XOR).

[HTL.sup.*] is a temporal extension of SL; it includes all symbols of SL with additional temporallogic operators, including backward path quantifiers (as explained later), using a notation similar to that of Wolper [1981] and Lamport [1980].

Variables and parameters are related by arithmetic operations, by a list of built-in mathematical functions orlogic operators (i.e., if, then, else), or by relationships that the user can graphically define using a mouse.