4 citations · 5 across the 5 of their papers we have counts for
1 paper · 2 filters
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…