From Frame Properties to Hypersequent Rules in Modal Logics | IEEE Conference Publication | IEEE Xplore