Expressivity and Complexity of Dependence Logic

Arnaud Durand 0001, Juha Kontinen, Heribert Vollmer. Expressivity and Complexity of Dependence Logic. In Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, editors, Dependence Logic, Theory and Applications. pages 5-32, Springer, 2016. [doi]

Abstract

Abstract is missing.