Changements conventionnels de jeu

On associe à un jeu conventionnel un ou plusieurs coups qui permettent d'entrer dans ce jeu. Ces coups d'entrée permettent de court-circuiter les conditions d'entrée intentionnelles. Cependant, un coup d'entrée n'est effectivement considéré comme valide que si les conditions d'entrée intentionnelles ne sont pas fausses (c'est à dire que l'on ne peut pas montrer la négation de ces conditions). Les nouvelles conditions d'entrée dans un jeu conventionnel sont donc : $C_{in}\lor \left(C^c_{in}\land\lnot\overline{C_{in}}\right)$, où $\overline{C_{in}}$ dénote la négation de C_in. Ainsi, même si l'on rentre dans un jeu de manière conventionnelle, les conditions d'entrée ne seront pas fausses, même si l'on ne peut pas montrer qu'elles sont vraies^5.2.

Les invariants sont définis de la même manière que pour un jeu intentionnel.

Pour la sortie conventionnelle d'un jeu, on définit un ou plusieurs coups de sortie. La sortie d'un tel jeu est alors $C_{out}\lor C^c_{out}$.