2000 character limit reached
Functional Dependence in Strategic Games (1302.0447v1)
Published 3 Feb 2013 in math.LO, cs.GT, and cs.LO
Abstract: The paper studies properties of functional dependencies between strategies of players in Nash equilibria of multi-player strategic games. The main focus is on the properties of functional dependencies in the context of a fixed dependency graph for pay-off functions. A logical system describing properties of functional dependence for any given graph is proposed and is proven to be complete.