David Gabelaia, Evgeny Kuznetsov, Radu-Casian Mihailescu, Konstantine Razmadze, Levan Uridia. Temporal logic of surjective bounded morphisms between finite linear processes. Journal of Applied Non-Classical Logics, 34(1):1-30, January 2024. [doi]
Abstract is missing.