Modular sequent calculi for classical modal logics
scientific article