Countermodel construction via optimal hypersequent calculi for non-normal modal logics
scientific article