Dependence logic

Dependence logic is a type of logic that extends classical first-order logic by incorporating the concept of dependence between variables. It was introduced by the logician Johan van Benthem in the early 2000s. The key idea is to formalize the notion of dependency between variables, allowing for the expression of statements about how the value of one variable affects or is determined by the values of others.