Dependence logic : theory and applications (2016)