Freitas, R. A. de, Feitosa, H. de A., & 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, e25007. https://doi.org/10.21167/cqdv25e25007