21 citations · 27 across the 4 of their papers we have counts for
4 papers
Hierarchies in independence logic
Pietro Galliani, Miika Hannula, Juha Kontinen
We study the expressive power of fragments of inclusion and independence logic defined either by restricting the number of universal quantifiers or the arity of inclusion and indep…
Dependence Logic with Generalized Quantifiers: Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpret…
Axiomatizing first order consequences in dependence logic
Juha Kontinen, Jouko Väänänen
Dependence logic, introduced in [8], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this…
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…