1: \begin{definition}\cite{li15}\label{de:possibility measure}

2:       {\rm  For a generalized possibilistic Kripke structure $M$, a function $Po^M: Paths(M)\rightarrow [0,1]$ is defined as follows:

3: \begin{equation}\label{eq:possibility measure-path}

4: Po^M(\pi)=I(s_{0})\wedge\bigwedge\limits_{i=0}^\infty P(s_{i},s_{i+1})

5: \end{equation}

6: for any $\pi=s_{0}s_{1} \cdots \in Paths(M).$

7: Furthermore, we define

8: \begin{equation}\label{eq:possibility measure}

9: Po^M(E)=\vee\{Po^M(\pi)\mid\pi\in E\}

10: \end{equation}

11: for any $E\subseteq Paths(M)$, then, we have a well-defined function $$Po^M:2^{Paths(M)}\longrightarrow [0,1],$$ $Po^M$ is called the generalized possibility measure over $\Omega=2^{Paths(M)}$ as it has the properties stated in Theorem \ref{th:possibility measure}. If $M$ is clear from the context, then $M$ is omitted and we simply write $Po$ instead of $Po^M$.}

12: \end{definition}