arXiv:1401.0648 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords modal logic, reverse mathematics results, compact tableau-style deductive system, reverse mathematics practice, implication relationship Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset