  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.

Computer Science and Game Theory;Logic in Computer Science