19 citations · 29 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
Local Dependence and Guarding
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…
cs.LO2009★ 19 cited
Lindstrom theorems for fragments of first-order logic
Johan van Benthem, Balder ten Cate, Jouko Vaananen
Lindström theorems characterize logics in terms of model-theoretic conditions such as Compactness and the Löwenheim-Skolem property. Most existing characterizations of this kind co…