8 citations · 8 across the 2 of their papers we have counts for
2 papers
math.LO2025
Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
Pietro Galliani
First Order Team Semantics is a generalization of Tarskian Semantics in which formulas are satisfied with respect to sets of assignments. In Team Semantics, it is possible to exten…
math.LO2013★ 8 cited
On Dependence Logic
Pietro Galliani, Jouko Väänänen
We give an overview of some developments in dependence and independence logic. This is a tiny selection, intended for a newcomer, from a rapidly growing literature on the topic. Fu…