A Modular Presentation of Modal Logics in a Logical Framework