logica DL