“Towards an Algebrization of a Linear Temporal Logic”. 2025. C.Q.D. - Revista Eletrônica Paulista De Matemática 25 (julho): e25007. https://doi.org/10.21167/cqdv25e25007.