activity
20112026
most citedWeak Models of Distributed Computing, with Connections to Modal Logic

31 citations · 83 across the 33 of their papers we have counts for

collaborators
Showing 2011Show all

1 paper · 1 filter

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…