21 citations · 41 across the 16 of their papers we have counts for
4 papers · 1 filter
The Doxastic Interpretation of Team Semantics
Pietro Galliani
We advance a doxastic interpretation for many of the logical connectives considered in Dependence Logic and in its extensions, and we argue that Team Semantics is a natural framewo…
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…
Inclusion Logic and Fixed Point Logic
Pietro Galliani, Lauri Hella
We investigate the properties of Inclusion Logic, that is, First Order Logic with Team Semantics extended with inclusion dependencies. We prove that Inclusion Logic is equivalent t…
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…