21 citations · 116 across the 38 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
math.LO2013★ 1 cited
A finite axiomatization of conditional independence and inclusion dependencies
Miika Hannula, Juha Kontinen
We present a complete finite axiomatization of the unrestricted implication problem for inclusion and conditional independence atoms in the context of dependence logic. For databas…
math.LO2013★ 21 cited
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…
math.LO2013★ 1 cited
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…