1 citations · 1 across the 1 of their papers we have counts for
2 papers
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…
cs.LO2011
Complexity Results for Modal Dependence Logic
Peter Lohmann, Heribert Vollmer
Modal dependence logic was introduced recently by Väänänen. It enhances the basic modal language by an operator =(). For propositional variables p_1,...,p_n, =(p_1,...,p_(n-1);p_n)…