13 citations · 72 across the 24 of their papers we have counts for
Showing 2013 · math.LOShow all
2 papers · 2 filters
math.LO2013
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…
math.LO2013
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…