Modal Logic in Chess: Reasoning in 'Winning If...'
Every player reasons in terms of possibilities and necessities: 'he can force mate,' 'I must defend this square.' This type of reasoning has a name in formal logic: modal logic. And it changes everything about how to think about a position.