da logics