FREITAS, R. A. de; FEITOSA, H. de A.; SILVESTRINI, L. H. da C. Towards an algebrization of a linear temporal logic. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 25, p. e25007, 2025. DOI: 10.21167/cqdv25e25007. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/461. Acesso em: 27 jul. 2025.