logics04