  Also worth pointing out in this context is the work of (Kontinen &amp; Yang 2019), which found a logic based on Team Semantics (with different choices of connectives than the “standard” ones of Dependence Logic) whose formulas capture precisely the first-order-definable properties of teams.