Journal of Philosophical Logic

, Volume 43, Issue 2–3, pp 603–616

Rationally Functional Dependence


DOI: 10.1007/s10992-013-9283-5

Cite this article as:
Naumov, P. & Nicholls, B. J Philos Logic (2014) 43: 603. doi:10.1007/s10992-013-9283-5


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 

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  1. 1.Department of Mathematics and Computer ScienceMcDaniel CollegeWestminsterUSA

Personalised recommendations