13 citations · 70 across the 51 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.CC2013
Fractal dimension versus process complexity
Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil
Complexity measures are designed to capture complex behavior and quantify *how* complex, according to that measure, that particular behavior is. It can be expected that different c…
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…