arXiv:2309.05948 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords provability logic, true arithmetic, semantical cut-elimination, quasi-normal modal logic gls, cut-elimination theorem Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset