# Complexity results for dependence logic

Juha Kontinen ( Dept. of Mathematics and Statistics, University of Helsinki )

- 14:00 23rd May 2011 ( week 4, Trinity Term 2011 )Lecture Theatre B

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.