36 citations · 55 across the 3 of their papers we have counts for
3 papers
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…
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…
Evidence and plausibility in neighborhood structures
Johan van Benthem, David Fernández-Duque, Eric Pacuit
The intuitive notion of evidence has both semantic and syntactic features. In this paper, we develop an {\em evidence logic} for epistemic agents faced with possibly contradictory…