Logic in games - Benthem, J. F. A. K. van, 1949- (The MIT Press, 2014)