Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking. - Yongming Li 001; Jielin Wei (IEEE Trans. Fuzzy Syst., 2021)