19 citations · 29 across the 5 of their papers we have counts for
5 papers
Knowability as continuity: a topological account of informational dependence
Alexandru Baltag, Johan van Benthem
We study knowable informational dependence between empirical questions, modeled as continuous functional dependence between variables in a topological setting. We also investigate…
A note on the submodel preservation property in fragments of first-order logic
H. Andréka, J. van Benthem, I. Németi
This note contains some material promised in our earlier papers on submodel preservation and the guarded fragment, along with some information on the current status of the problems…
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…
Changing a semantics: opportunism or courage?
H. Andréka, J. F. A. K. van Benthem, N. Bezhanishvili +1
The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so,…
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…