 There are various ways in which  logic and games can be related.  Dialogical logic, e.g.,  offers a game-theoretic semantics for classical as well as for intuitionistic logic: a formula counts as valid if a proponent who states this formula has a winning strategy over possible attacks an opponent is allowed to realize. 