A Hierarchy of Backward Translations: Applications to Modal Logics