Difference logics for preference