Possibilistic Reasoning on Finite-Time Linear Temporal Logic. - Virginia Carugno; Rafael Peñaloza (ECAI, 2025)