Параллельная композиция в динамической логике игр с ограниченной рациональностью.

Abstract

Linear game form is introduced to represent the games with bounded rationality for Dynamic Game Logic. Special attention is paid for the operation o f consequential composition. Similarly to the parallel operations it describes interconnected games. The properties o f the consequential composition significantly deviate in case o f the game model with bounded rationality. E.g. the reduction (a;_)_ = (_)(_)_ is impossible in both directions. Finally, the representation o f information streams and information update in Dynamic Game Logic is discussed.