“Towards an algebrization of a linear temporal logic”, C. Q. D., vol. 25, p. e25007, jul. 2025, doi: 10.21167/cqdv25e25007.