[Revised entry by Pietro Galliani on May 19, 2025.
Changes to: Main text, Bibliography]
Dependence logic is an extension of first-order logic which adds to it dependence atoms, that is, expressions of the form (eqord(x_1 ldots x_n, y)) which assert that the value of (y) is functionally dependent on (in other words, determined by) the values of (x_1 ldots x_n). These atoms permit the specification of non-linearly ordered dependency patterns between variables, much in the same sense of IF-Logic slashed quantifiers; but, differently from IF-logic, dependence logic separates quantification…

Read the full article which is published on Stanford Encyclopedia of Philosophy (external link)