How to optimize proof-search in modal logics: a new way of proving redundancy criteria for sequent calculi | IEEE Conference Publication | IEEE Xplore