three main approaches have been proposed for the definition of the semantics of if logic. the first two, based respectively on games of imperfect information and on skolemization, are mainly used in the definition of if sentences only. the former generalizes a similar approach, for first-order logic, which was based instead on games of "perfect" information.