Towards an Algebrization of a Linear Temporal Logic. C. Q. D. 2025, 25, e25007. https://doi.org/10.21167/cqdv25e25007.