Describir: A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC.