On capabilities of constructive logical and graphical representations of operational games

Capabilities are considered of logical and graphical representations usage in analysis of game-theoretic models. Game-theoretic models considered are presented in the form of operational games. The principles are postulated of study of strategic interactions at uncertainty with use of interaction representation in the form of constructive logical systems, and also the principles of graphical tools (networks) use in such study are outlined.