Team Logic and Second-Order Logic
Juha Kontinen, Ville Nurmi · Fundamenta Informaticae · 2011
Team logic is a new logic, introduced by Väänänen [12], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing functional dependence of variables on each other. It is known that on the