•  35
    Temporal logic of surjective bounded morphisms between finite linear processes
    with David Gabelaia, Radu Casian Mihailescu, Konstantine Razmadze, and Levan Uridia
    Journal of Applied Non-Classical Logics 34 (1): 1-30. 2023.
    In this paper, we study temporal logic for finite linear structures and surjective bounded morphisms between them. We give a characterisation of such structures by modal formulas and show that every pair of linear structures with a bounded morphism between them can be uniquely characterised by a temporal formula up to an isomorphism. As the main result, we prove Kripke completeness of the logic with respect to the class of finite linear structures with bounded morphisms between them.