 Defining the semantics of a logic using GTS is a two-step process. The first step is to define the relevant semantic games. The second step is to define the notions of ‘true’ and ‘false’ in terms of the semantic games; this happens by reference to the notion of winning strategy. Semantic games may be defined by specifying recursively the alternative ways in which a game associated with a given formula \(\phi\) can be  begun.[19]