Freitas RA de, Feitosa H de A, Silvestrini LH da C. Towards an algebrization of a linear temporal logic. C. Q. D. [Internet]. 25º de julho de 2025 [citado 27º de julho de 2025];25:e25007. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/461