Chris Hankin and Pasquale Malacaria


We discuss some fundamental concepts in Game Theory: the concept of payoffs and the relation between rational solutions to games like Nash equilibrium and real world behaviour. We sketch some connections between Game Theory and Game Semantics by exploring some possible uses of Game Semantics strategies enriched with payoffs. Finally we discuss potential contributions of Abstract Interpretation to Game Theory in addressing the state explosion problem of game models of real world systems.

In: Computation, Logic, Games and Quantum Foundations. The Many Facets of Samson Abramsky, Lecture Notes in Computer Science vol 7860 (Springer Verlag 2013) Editors: Bob Coecke, Luke Ong and Prakash Panangaden Pages: 69-82 ISBN: 978-3-642-38163-8 (Print) 978-3-642-38164-5 (Online) Full Text: