 It is crucial to the analysis of games to have a way to express the information available to the players. One way to accomplish this is to borrow ideas from epistemic logic. Here we may introduce an accessibility relation \({\sim}_i\) for each player such that \(s{\sim}_i t\) holds iff \(i\) cannot distinguish between states \(s\) and \(t\). Then knowledge operators \(\rK_i\) for the players can be defined so that \(\rK_i A\) says at \(s\) that \(A\) holds in all worlds that \(i\) can distinguish from \(s\); that is, despite \(i\)’s ignorance about the state of play, he/she can still be confident that \(A\). \(\rK\) operators may be used to say that player 1 is in a position to resign, for he knows that 2 sees she has a win: \(\rK_1 \rK_2\Box_1\Diamond_2\win_2\).