Formalizations in dog cognition