Temporal logic of surjective bounded morphisms between finite linear processes. - David Gabelaia; Evgeny Kuznetsov; Radu-Casian Mihailescu; Konstantine Razmadze; Levan Uridia (J. Appl. Non Class. Logics, 2024)