2025. Towards an algebrization of a linear temporal logic. C.Q.D. - Revista Eletrônica Paulista de Matemática. 25, (jul. 2025), e25007. DOI:https://doi.org/10.21167/cqdv25e25007.