19 citations · 29 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
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,…