 A game in extensive form is a tree where each non-terminal node or state specifies which player is to move next, while edges correspond to the players’ possible moves. The leaves of the tree, finally, denote the possible outcomes O of game play. There are many possible variations on these stipulations for states and moves, but they do not affect the essentials of a logical analysis.