6 citations · 9 across the 5 of their papers we have counts for
4 papers · 1 filter
Deducibility and Independence in Beklemishev's Autonomous Provability Calculus
David Fernández-Duque, Eduardo Hermo Reyes
Beklemishev introduced an ordinal notation system for the Feferman-Schütte ordinal based on the autonomous expansion of provability algebras. In this paper we present the log…
A Finitely Supported Frame for the Turing Schmerl Calculus
Eduardo Hermo Reyes
In arXiv:1604.08705 we introduced the propositional modal logic (which stands for Turing Schmerl Calculus) which adequately describes the provable interrelations bet…
Relational Semantics for the Turing Schmerl Calculus
Eduardo Hermo Reyes, Joost J. Joosten
In arXiv:1604.08705 the authors introduced the propositional modal logic (which stands for Turing Schmerl Calculus) which adequately describes the provable interrela…
The logic of Turing progressions
Eduardo Hermo Reyes, Joost J. Joosten
Turing progressions arise by iteratedly adding consistency statements to a base theory. Different notions of consistency give rise to different Turing progressions. In this paper w…