6 citations · 9 across the 4 of their papers we have counts for
5 papers
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…
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…
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…
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)…
Complexity of Model Checking for Modal Dependence Logic
Johannes Ebbing, Peter Lohmann
Modal dependence logic (MDL) was introduced recently by Väänänen. It enhances the basic modal language by an operator =(). For propositional variables p_1,...,p_n the atomic formul…