1: \begin{definition}\label{def:possibility measure} \cite{li12} For a possibilistic Kripke structure $M$, a function $Po^M: Paths(M)\rightarrow [0,1]$ is defined as follows:

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

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

4: \end{equation}

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

6: Furthermore, we define

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

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

9: \end{equation}

10: 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 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$ for $Po^M$.

11: 

12: \end{definition}

13: