most citedComplexity of two-variable Dependence Logic and IF-Logic

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2011★ 1 cited

Complexity of two-variable Dependence Logic and IF-Logic

Juha Kontinen, Antti Kuusisto, Peter Lohmann +1

We study the two-variable fragments D^2 and IF^2 of dependence logic and independence-friendly logic. We consider the satisfiability and finite satisfiability problems of these log…