21 citations · 116 across the 38 of their papers we have counts for
3 papers · 1 filter
Dependence logic with a majority quantifier
Arnaud Durand, Johannes Ebbing, Juha Kontinen +1
We study the extension of dependence logic D by a majority quantifier M over finite structures. We show that the resulting logic is equi-expressive with the extension of second-ord…
Hierarchies in Dependence Logic
Arnaud Durand, Juha Kontinen
We study fragments of dependence logic defined either by restricting the number k of universal quantifiers or the width of dependence atoms in formulas. We find the sublogics of ex…
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…