Game Semantics for the Geiger-Paz-Pearl Axioms of Independence


The paper analyzes interdependencies between strategies of players in a Nash equilibrium using independence relation between two sets of players. A sound and complete axiomatization of this relation is given. It has been shown previously that the same axiomatic system describes independence in probability theory, information flow, and concurrency theory.

DOI: 10.1007/978-3-642-24130-7_16

Extracted Key Phrases

Cite this paper

@inproceedings{Naumov2011GameSF, title={Game Semantics for the Geiger-Paz-Pearl Axioms of Independence}, author={Pavel Naumov and Brittany Nicholls}, booktitle={LORI}, year={2011} }