3 papers
math.LO2024
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…
math.LO2023
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…
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…