19 citations · 29 across the 5 of their papers we have counts for
1 paper · 1 filter
Johan van Benthem, Balder ten Cate, Raoul Koudijs
We study LFD, a base logic of functional dependence introduced by Baltag and van Benthem (2021) and its connections with the guarded fragment GF of first-order logic. Like other lo…