Complexity results for dependence logic
Dependence Logic is a new logic that incorporates the concept of dependence into first-order logic. It was introduced by Jouko Väänänen in his monograph "Dependence Logic" in 2007. The expressive power of dependence logic coincides with that of existential second-order logic. We give a general introduction to dependence logic and then review some recent results regarding the expressive power and complexity of certain fragments and extensions of dependence logic.