arXiv:1805.09437 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords relational hypersequents, modal logics, first cut-free completeness result, cut-free complete hypersequent system, relational framework occurs Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset