Logics of Dependence and Independence: The Local Variants

Erich Grädel, Phil Pützstück

Modern logics of dependence and independence are based on team semantics, which means that formulae are evaluated not on a single assignment of values to variables, but on a set of…