[Revised entry by Wilfrid Hodges and Jouko Väänänen on December 12, 2024.
Changes to: Main text, Bibliography]
Games between two players, of the kind where one player wins and one loses, became a familiar tool in many branches of logic during the second half of the twentieth century. Important examples are semantic games used to define truth, back-and-forth games used to compare structures, and dialogue games to express (and perhaps explain) formal proofs….

Read the full article which is published on Stanford Encyclopedia of Philosophy (external link)