Journal of Philosophical Logic

, Volume 43, Issue 2, pp 603-616

First online:

Rationally Functional Dependence

  • Pavel NaumovAffiliated withDepartment of Mathematics and Computer Science, McDaniel College Email author 
  • , Brittany NichollsAffiliated withDepartment of Mathematics and Computer Science, McDaniel College

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


Two different types of functional dependencies are compared: dependencies that are functional due to the laws of nature and dependencies that are functional if all involved agents behave rationally. The first type of dependencies was axiomatized by Armstrong. This article gives a formal definition of the second type of functional dependencies in terms of strategic games and describes a sound and complete axiomatization of their properties. The axiomatization is significantly different from the Armstrong’s axioms.


Axiomatization Rationality Completeness Dependency