“Towards an Algebrization of a Linear Temporal Logic”. C.Q.D. - Revista Eletrônica Paulista De Matemática, vol. 25, julho de 2025, p. e25007, https://doi.org/10.21167/cqdv25e25007.