13 citations · 72 across the 24 of their papers we have counts for
3 papers · 1 filter
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…
The omega-rule interpretation of transfinite provability logic
David Fernández-Duque, Joost J. Joosten
In this paper we consider transfinite provability logics where for each ordinal in some recursive well-order we have a corresponding modal provability operator. The modality [xi] w…
A geometric protocol for cryptography with cards
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque +1
In the generalized Russian cards problem, the three players Alice, Bob and Cath draw a,b and c cards, respectively, from a deck of a+b+c cards. Players only know their own cards an…