A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Reasoning about Strategies
[chapter]
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