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

Download PDF
Open Webpage

Pavel Naumov, Brittany Nicholls

Published: 2011, Last Modified: 10 Jun 2024LORI 2011EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: 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.