21 citations · 27 across the 4 of their papers we have counts for
Showing 2013Show all
2 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…