Reasoning About Strategies
| Authors | |
|---|---|
| Publication date | 2013 |
| Host editors |
|
| Book title | Computation, logic, games, and quantum foundations: the many facets of Samson Abramsky |
| Book subtitle | essays dedicated to Samson Abramsky on the occasion of his 60th birthday |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Pages (from-to) | 336-347 |
| Publisher | Heidelberg: Springer |
| Organisations |
|
| Abstract | 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. |
| Document type | Chapter |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-642-38164-5_23
(Final published version)
|
| Permalink to this page | |