Towards an algebrization of a linear temporal logic. C. Q. D. [Internet]. 2025 Jul. 25 [cited 2025 Nov. 6];25:e25007. Available from: https://revistas.bauru.unesp.br/index.php/revistacqd/article/view/461