Jeux logiques

 

Si l'on reprend la notion de coups logiques pour contrôler les inférences, les changements de jeu (on peut considérer que le changement de jeu est un coup logique), on voit apparaître une notion proche du jeu de dialogue mais destinée à la production d'états mentaux (coup logique) et non de coup de dialogue.

Par exemple, $B_xP \Longrightarrow!_xP$ ou $B_xP \Longrightarrow W_x!_xP$ feraient partie d'un jeu de dialogue et $B_xB_yP \land \lnot B_x \lnot P \Longrightarrow B_xP$ d'un jeu logique.