Logic and Games

[Revised entry by Wilfrid Hodges on February 6, 2013.
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....