most citedComputational Aspects of Dependence Logic

6 citations · 6 across the 2 of their papers we have counts for

collaborators

2 papers

math.LO2014

Boolean Dependence Logic and Partially-Ordered Connectives

Johannes Ebbing, Lauri Hella, Peter Lohmann +1

We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,α), where αis a Boolean v…

cs.LO2012★ 6 cited

Computational Aspects of Dependence Logic

Peter Lohmann

In this thesis (modal) dependence logic is investigated. It was introduced in 2007 by Jouko Vääanänen as an extension of first-order (resp. modal) logic by the dependence operator…