Reasoning about Strategies [chapter]

Johan van Benthem
2013 Lecture Notes in Computer Science  
Samson Abramsky has placed landmarks in the world of logic and games that I have long admired. In this little piece, I discuss one theme in the overlap of our interests, namely, logical systems for reasoning with strategies -in gentle exploratory mode. 1
doi:10.1007/978-3-642-38164-5_23 fatcat:gjqtj4xwbjcxxdk46e6m3slzna