21 citations · 41 across the 16 of their papers we have counts for
Showing 2013 · math.LOShow all
2 papers · 2 filters
math.LO2013★ 2 cited
Upwards Closed Dependencies in Team Semantics
Pietro Galliani
We prove that adding upwards closed first-order dependency atoms to first-order logic with team semantics does not increase its expressive power (with respect to sentences), and th…
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…