Abstract: The notion of computation tree logic CTL* based on possibility measure(PoCTL* in short) was proposed in this paper. Then the possibilistic bisimulation in possibilistic Kripke structure was defined and its properties were discussed. Finally, the quotient possibilistic Kripke structure and the related construction were studied particularly.

Key words: Possibilistic Kripke structure, Possibility measure, Possibilistic computation tree logic PoCTL * , Possibilistic bisimulation, Quotient possibilistic Kripke structure