We see how Turing progressions are closely related to the closed fragment of GLP, polymodal provability logic. Next we study natural well-orders in GLP that characterize certain aspects of these Turing progressions. © 2012 Springer-Verlag.
CITATION STYLE
Fernández Duque, D., & Joosten, J. J. (2012). Turing progressions and their well-orders. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7318 LNCS, pp. 212–221). https://doi.org/10.1007/978-3-642-30870-3_21
Mendeley helps you to discover research relevant for your work.