Logic in games - Benthem, Johan van (The MIT Press, 2014)