TY  - RPRT
TI  - Possibilistic Computation Tree Logic over Finitely-Valued Kripke Structures: Decidability and Complete Axiomatization
AU  - Yongming Li
PY  - 2026
UR  - https://arxiv.org/abs/2510.23075
ID  - 2510.23075
ER  -