Abstract

We present here some modifications of tense logic based on intensionally treated game-theoretic concepts. They are intended for construction of formal models with description of intensional acts. Formal characteristic of intensional acts – subject, modus and contents; general scheme – MODUS, where x1, . . . , xm – names of subjects and A1, . . . , An – propositional description. For example: “x1 persuaded x2 that A1 is better than A2”. For the examination of formal structures, making use of time logic, we should notice that an intensional act is an event identical in time with other non-intensional acts