4 citations · 4 across the 3 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
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…
math.LO2012★ 4 cited
On provability logics with linearly ordered modalities
Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten
We introduce the logics GLP(Λ), a generalization of Japaridze's polymodal provability logic GLP(ω) where Λis any linearly ordered set representing a hierarchy of provability operat…
math.LO2012
Non-finite axiomatizability of Dynamic Topological Logic
David Fernández-Duque
Dynamic topological logic (DTL) is a polymodal logic designed for reasoning about {\em dynamic topological systems. These are pairs (X,f), where X is a topological space and f:X->X…