The Logic of Turing Progressions 

Hermo Reyes, Eduardo (Date of defense: 2019-11-04)

This dissertation is devoted to developing modal logical tools that can be used in the field of proof theory and ordinal analysis. More precisely, we focus on the relation between strictly positive modal logics and both ...