Journal of Philosophical Logic

, Volume 43, Issue 2, pp 603–616

Rationally Functional Dependence

Article

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

Abstract

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.

Keywords

AxiomatizationRationalityCompletenessDependency

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  1. 1.Department of Mathematics and Computer ScienceMcDaniel CollegeWestminsterUSA