21 citations · 41 across the 16 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018★ 6 cited
Safe Dependency Atoms and Possibility Operators in Team Semantics
Pietro Galliani
I consider the question of which dependencies are safe for a Team Semantics-based logic FO(D), in the sense that they do not increase its expressive power over sentences when added…
math.LO2018
Characterizing downwards closed, strongly first order, relativizable dependencies
Pietro Galliani
In Team Semantics, a dependency notion is strongly first order if every sentence of the logic obtained by adding the corresponding atoms to First Order Logic is equivalent to some…