Reasoning About Strategies

Authors
Publication date 2013
Host editors
  • B. Coecke
  • L. Ong
  • P. Panangaden
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
  • 9783642381638
ISBN (electronic)
  • 9783642381645
Series Lecture Notes in Computer Science
Pages (from-to) 336-347
Publisher Heidelberg: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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
Permalink to this page
Back