Os jogos entre dois jogadores, do tipo em que um jogador ganha e um perde, tornaram-se uma ferramenta familiar em muitos ramos da lógica durante a segunda metade do século XX. Exemplos importantes são jogos semânticos usados para definir a verdade, jogos de trás para a frente usados para comparar estruturas, e jogos de diálogo para expressar (e talvez explicar) provas formais.