36 citations · 55 across the 2 of their papers we have counts for
2 papers
cs.LO2021★ 36 cited
A Simple Logic of Functional Dependence
Alexandru Baltag, Johan van Benthem
This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers…
cs.LO2021★ 19 cited
The Modal Logic of Stepwise Removal
Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando
We investigate the modal logic of stepwise removal of objects, both for its intrinsic interest as a logic of quantification without replacement, and as a pilot study to better unde…