Skip to main content

Showing 1–1 of 1 results for author: Harjes, K

Searching in archive math. Search in all archives.
.
  1. arXiv:1302.0447  [pdf, other

    math.LO cs.GT cs.LO

    Functional Dependence in Strategic Games

    Authors: Kristine Harjes, Pavel Naumov

    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.

    Submitted 2 February, 2013; originally announced February 2013.

    Journal ref: Notre Dame J. Formal Logic 57, no. 3 (2016), 341-353