{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:32:39Z","timestamp":1772119959101,"version":"3.50.1"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s11787-025-00392-4","type":"journal-article","created":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T18:46:00Z","timestamp":1760899560000},"page":"407-425","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Correspondence Problems for Classes of Postlinear Orders"],"prefix":"10.1007","volume":"19","author":[{"given":"Grigor","family":"Kolev","sequence":"first","affiliation":[]},{"given":"Tinko","family":"Tinchev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,19]]},"reference":[{"key":"392_CR1","volume-title":"Modal Logic and Classical Logic","author":"J van Benthem","year":"1983","unstructured":"van Benthem, J.: Modal Logic and Classical Logic. Bibliopolis, Naples (1983)"},{"key":"392_CR2","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: Correspondence theory. In Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, 167\u2013247. Reidel (1984)","DOI":"10.1007\/978-94-009-6259-0_4"},{"key":"392_CR3","unstructured":"Chagrov, A., Chagrova, L.: The Truth About Algorithmic Problems in Correspondence Theory. Advances in Modal Logic 6, papers from the sixth conference on \u201cAdvances in Modal Logic,\u201d held in Noosa, Queensland, Australia, on 25\u201328 September 2006, 121\u2013138. College Publications (2006)"},{"key":"392_CR4","doi-asserted-by":"crossref","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press (1997)","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"392_CR5","unstructured":"Chagrova, L.: On the problem of definability of propositional formulas of intuitionistic logic by formulas of classical first order logic. PhD thesis, Kalinin State University (1989)"},{"key":"392_CR6","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., Shelah, S.: To The Decision Problem for Branching Time Logic. Foundations of Logic and Linguistics, pp. 181\u2013198 (1985)","DOI":"10.1007\/978-1-4899-0548-2_8"},{"key":"392_CR7","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., Shelah, S.: The Decision Problem for Branching Time Logic. The Journal of Symbolic Logic 50(3), Sept. 1985, 668\u2013681 (1985)","DOI":"10.2307\/2274321"},{"key":"392_CR8","doi-asserted-by":"crossref","unstructured":"Kolev, G., Tinchev,T.: On the Definability Problem of First-Order Sentences by Propositional Intuitionistic Formulas. Axioms 14(8), August 2025, Article 623 (2025)","DOI":"10.3390\/axioms14080623"},{"key":"392_CR9","doi-asserted-by":"crossref","unstructured":"Rabin, M.O: Decidability of Second-Order Theories and Automata on Infinite Trees. Transactions of the American Mathematical Society 141, 1\u201335 (1969)","DOI":"10.1090\/S0002-9947-1969-0246760-1"},{"issue":"3","key":"392_CR10","doi-asserted-by":"publisher","first-page":"379","DOI":"10.2307\/1971037","volume":"102","author":"S Shelah","year":"1975","unstructured":"Shelah, S.: The Monadic Theory of Order. Ann. Math. (2) 102(3), 379\u2013419 (1975)","journal-title":"Ann. Math. (2)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00392-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-025-00392-4","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00392-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:56:50Z","timestamp":1766066210000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-025-00392-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["392"],"URL":"https:\/\/doi.org\/10.1007\/s11787-025-00392-4","relation":{"is-basis-for":[{"id-type":"doi","id":"10.52843\/cassyni.z6cz79","asserted-by":"object"}]},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,19]]},"assertion":[{"value":"1 August 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}