Game semantics for the Geiger-Paz-pearl axioms of independence

  • Authors:
  • Pavel Naumov;Brittany Nicholls

  • Affiliations:
  • Department of Mathematics and Computer Science, McDaniel College, Westminster, Maryland;Department of Mathematics and Computer Science, McDaniel College, Westminster, Maryland

  • Venue:
  • LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
  • Year:
  • 2011

Quantified Score

Hi-index 0.01

Visualization

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.