A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics