 Game semantics One can view logic games as mere didactic devices analyzing logical notions that were already well-understood. Or, in other terms, as offering a concrete way of teaching logic that draws on game-theoretic intuitions. However, logic games have more to offer. First of all, new logics are suggested by pursuing natural variations in winning conventions, moves, or scheduling within existing logic games. Moreover, viewing logical operations as game constructors suggests a new, refined view on logical constants. Conjunction, for instance, now splits naturally into a sequential and a parallel version. Similar examples of parallelism also exist in logics of computation. Moreover, associating quantifiers with object picking, as in evaluation games, turns quantifiers into special types of atomic games that connect to the following formula by an abstract operation of game composition. The general logic of this abstract composition operation combined with propositional operations of choice and switch has been shown decidable, providing a new decidable core logic inside first-order logic whose existence had not been suspected (van Benthem 2014). Games, hence, can offer a fresh perspective on existing logical systems.