 There is further structure in extensive games than just single moves. In game trees, a player’s strategy specifies what to do at each turn, whether this turn will ever be reached or not. An increasing body of work examines such strategies and their underlying formats, see van Benthem, Ghosh, and Verbrugge (2015) for an overview of various logical frameworks for reasoning about strategies.