Freitas, R. A. de; Feitosa, H. de A.; Silvestrini, L. H. da C. Towards an Algebrization of a Linear Temporal Logic. C. Q. D. 2025, 25, e25007.