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