@MISC{Grädel02modelchecking, author = {Erich Grädel}, title = {Model Checking Games}, year = {2002}}
We survey evaluation games for first-order logic and least fixed point logics, and discuss their algorithmic complexity.