dE_logics