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