https://orcid.org/0000-0002-0003-138X
![Sample our Humanities journals, sign in here to start your FREE access for 14 days]({"type":"image" , "src" : "/sda/5939/TOC-Subject-Sample-2021-Humanities.jpg"})
ABSTRACT
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.
Acknowledgments
The authors are grateful to the anonymous referees and to Dr. George Nadareishvili for useful comments.
Disclosure statement
No potential conflict of interest was reported by the author(s).
Notes
1 From now on, ‘a frame’ means a ‘Kripke frame’ not ‘a frame of a movie’.
Additional information
Funding
The first, the second and the fourth authors were partially supported by the Shota Rustaveli National Science Foundation of Georgia (SRNSFG) [grant number #FR-22-6700]. The third and the fifth authors were partially supported by the Crafoord Project [grant number #20200953].