arXiv:1212.2395 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords ordinal analysis, first order arithmetic, reduction property relates reflection principles, reflection rules, polymodal provability logic glp Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset