Lógica modal no xadrez: raciocinar em 'ganhando se...'
Cada jogador raciocina em termos de possibilidades e necessidades: 'ele pode forçar o mate', 'preciso defender essa casa'. Esse tipo de raciocínio tem um nome na lógica formal: a lógica modal. E muda tudo na forma de pensar uma posição.