21 citations · 27 across the 4 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
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…
math.LO2012★ 4 cited
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…