---
tag: DNAPTJ98WD
kind: concept
name: Dependence logic
aliases: [game-theoretic-semantics-for-dependence-logic, team-logic, team-semantics-for-dependence-logic]
sources:
  - wikipedia: en:31107554@r1355640834
    locator: Dependence logic
    note: adopted
    mention: wikipedia://en/31107554
    sections: [Summary]
same_as:
  wikidata: Q5260614
  wikipedia: Dependence logic
inventory: [SJA8Y81BP0]
---

## Summary

**Dependence logic** is a logical formalism, created by Jouko Väänänen, which adds *dependence atoms* to the language of first-order logic. A dependence atom is an expression of the form $=\!\!(t_1 \ldots t_n)$, where $t_1 \ldots t_n$ are terms, and corresponds to the statement that the value of $t_n$ is functionally dependent on the values of $t_1,\ldots, t_{n-1}$.