logics