arXiv:2004.06902 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords interpretability logic, reasonable arithmetical theories, generalized veltman semantics, modal incompleteness proof, structural behavior Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset