Freitas, R.A. de, Feitosa, H. de A. e Silvestrini, L.H. da C. 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.