{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T23:19:31Z","timestamp":1747178371460,"version":"3.40.5"},"reference-count":21,"publisher":"Informa UK Limited","issue":"1","funder":[{"name":"Shota Rustaveli National Science Foundation of Georgia","award":["#FR-22-6700"],"award-info":[{"award-number":["#FR-22-6700"]}]},{"name":"Crafoord Project","award":["#20200953"],"award-info":[{"award-number":["#20200953"]}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2024,1,2]]},"DOI":"10.1080\/11663081.2023.2269432","type":"journal-article","created":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T14:10:42Z","timestamp":1698415842000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["Temporal logic of surjective bounded morphisms between finite linear processes"],"prefix":"10.1080","volume":"34","author":[{"given":"David","family":"Gabelaia","sequence":"first","affiliation":[{"name":"Department of Mathematical logic, Razmadze Mathematical Institute, Tbilisi, Georgia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evgeny","family":"Kuznetsov","sequence":"additional","affiliation":[{"name":"Department of Mathematical logic, Razmadze Mathematical Institute, Tbilisi, Georgia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu Casian","family":"Mihailescu","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Media Technology, Malm\u00f6 University, Malm\u00f6, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantine","family":"Razmadze","sequence":"additional","affiliation":[{"name":"Faculty of Exact and Natural Sciences, Tbilisi State University, Tbilisi, Georgia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0003-138X","authenticated-orcid":false,"given":"Levan","family":"Uridia","sequence":"additional","affiliation":[{"name":"Department of Mathematical logic, Razmadze Mathematical Institute, Tbilisi, Georgia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2023,10,27]]},"reference":[{"key":"e_1_3_4_2_1","volume-title":"Modal logic","author":"Blackburn P.","year":"2002","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2002). Modal logic. Cambridge University Press."},{"key":"e_1_3_4_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370383"},{"key":"e_1_3_4_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511625183"},{"key":"e_1_3_4_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.404033"},{"key":"e_1_3_4_6_1","doi-asserted-by":"crossref","unstructured":"Drusinsky D. (2003). Monitoring temporal rules combined with time series. In W. A. Hunt & F.\u00a0Somenzi (Eds.) Computer aided verification (pp. 114\u2013117). Springer.","DOI":"10.1007\/978-3-540-45069-6_11"},{"key":"e_1_3_4_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.05.013"},{"key":"e_1_3_4_8_1","volume-title":"Design patterns: Elements of reusable object-oriented software","author":"Gamma E.","year":"1994","unstructured":"Gamma, E., Vlissides, J., Johnson, R., & Helm, R. (1994). Design patterns: Elements of reusable object-oriented software. Addison-Wesley Professional."},{"key":"e_1_3_4_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100033120"},{"key":"e_1_3_4_10_1","unstructured":"Kautz H. & Selman B. (1992). Planning as satisfiability. In Proceedings of the 10th European conference on artificial intelligence ECAI '92 (pp. 359\u2013363). John Wiley & Sons Inc."},{"key":"e_1_3_4_11_1","doi-asserted-by":"crossref","unstructured":"Kracht M. & de Rijke M. (1993). How completeness and correspondence theory got married. In Diamonds and defaults Synthese Library (Vol. 229 pp. 175\u2013214). Kluwer Academic Publishers.","DOI":"10.1007\/978-94-015-8242-1_7"},{"key":"e_1_3_4_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.imavis.2007.08.013"},{"key":"e_1_3_4_13_1","unstructured":"Razmadze K. (2017). Bi-modal logics of mappings. In Tbilisi symposium of language logic and computation Conference presentation abstract [Unpublished]."},{"key":"e_1_3_4_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-7664-1"},{"key":"e_1_3_4_15_1","doi-asserted-by":"crossref","unstructured":"Sahlqvist H. (1975). Completeness and correspondence in the first and second order semantics for modal logic. In S. Kanger (Ed.) Proceedings of the 3rd Scandinavian logic symposium Uppsala 1973 (pp. 110\u2013143). NorthHolland.","DOI":"10.1016\/S0049-237X(08)70728-6"},{"key":"e_1_3_4_16_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274758"},{"key":"e_1_3_4_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2014.09.003"},{"key":"e_1_3_4_18_1","volume-title":"An essay in classical modal logic","author":"Segerberg K.","year":"1971","unstructured":"Segerberg, K.\u00a0(1971). An essay in classical modal logic. Filosofiska studier."},{"key":"e_1_3_4_19_1","doi-asserted-by":"crossref","unstructured":"Shu D. & Lagoa C. M. (2017). A linear temporal logic based approach for vehicle motion planning. In 2017 IEEE international conference on mechatronics (ICM) (pp. 25\u201330). IEEE.","DOI":"10.1109\/ICMECH.2017.7921075"},{"key":"e_1_3_4_20_1","volume-title":"Dive into design patterns","author":"Shvets A.","year":"2018","unstructured":"Shvets, A. (2018). Dive into design patterns. Refactoring.Guru."},{"key":"e_1_3_4_21_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1974.tb00077.x"},{"key":"e_1_3_4_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-011-0422-4"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2023.2269432","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,24]],"date-time":"2024-09-24T20:09:14Z","timestamp":1727208554000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2023.2269432"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,27]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,1,2]]}},"alternative-id":["10.1080\/11663081.2023.2269432"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2023.2269432","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2023,10,27]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2022-11-26","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-10-04","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}