Dependence logic extends the language of first order logic by means of dependence atoms and aims to establish a basic theory of dependence and independence underlying such seemingly unrelated subjects as causality, random variables, bound variables in logic, database theory, the theory of social choice, and even quantum physics. In this work we summarize the setting of dependence logic and recall the main results of this rapidly developing area of research.
CITATION STYLE
Galliani, P., & Väänänen, J. (2014). On Dependence Logic. In Outstanding Contributions to Logic (Vol. 5, pp. 101–119). Springer. https://doi.org/10.1007/978-3-319-06025-5_4
Mendeley helps you to discover research relevant for your work.