A set-theoretic translation method for polymodal logics G. D'AgostinoA. MontanariA. Policriti OriginalPaper Pages: 317 - 337