Logique modale aux échecs : raisonner en 'gagnant si...'
Chaque joueur raisonne en termes de possibilités et de nécessités : 'il peut forcer mat', 'je dois défendre cette case'. Ce type de raisonnement a un nom en logique formelle : la logique modale. Et il change tout à la façon de penser une position.