 In this setting, the formal dynamic apparatus involves assertions appropriate to the matrix games of  Section 2.  In fact, various different types of rationality can be defined in logics for matrix games. Here is an illustration for two-player games, involving announcements of ‘Weak Rationality’: