On the Uniqueness of Solution for the Bellman Equation of LTL Objectives