{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T12:14:12Z","timestamp":1744200852357},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2022,2,8]],"date-time":"2022-02-08T00:00:00Z","timestamp":1644278400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,2,8]],"date-time":"2022-02-08T00:00:00Z","timestamp":1644278400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s11787-022-00299-4","type":"journal-article","created":{"date-parts":[[2022,2,8]],"date-time":"2022-02-08T10:03:37Z","timestamp":1644314617000},"page":"177-194","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Modal Definability: Two Commuting Equivalence Relations"],"prefix":"10.1007","volume":"16","author":[{"given":"Yana","family":"Rumenova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tinko","family":"Tinchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,2,8]]},"reference":[{"key":"299_CR1","unstructured":"Balbiani, Ph., Tinchev, T.: Decidability and complexity of definability within the class of all partitions. In: Proceedings of the 5th Panhellenic Logic Symposium, July 25-28, 2005, Athens, Greece, p. 26\u201333."},{"issue":"3","key":"299_CR2","first-page":"901","volume":"27","author":"Ph Balbiani","year":"2017","unstructured":"Balbiani, Ph., Tinchev, T.: Undecidable problems for modal definability. J. Logic Comput. 27(3), 901\u2013920 (2017)","journal-title":"J. Logic Comput."},{"key":"299_CR3","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, Clarendon Press, Oxford (1997)"},{"key":"299_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28788-4","volume-title":"Finite Model Theory","author":"H Ebbinghaus","year":"1995","unstructured":"Ebbinghaus, H., Flum, J.: Finite Model Theory. Springer-Verlag, Berlin Heidelberg (1995)"},{"key":"299_CR5","volume-title":"Problems of decidability and constructive models (in Russian)","author":"YuL Ershov","year":"1980","unstructured":"Ershov, Yu.L.: Problems of decidability and constructive models (in Russian). Nauka, Moscow (1980)"},{"issue":"4","key":"299_CR6","first-page":"35","volume":"20","author":"YL Ershov","year":"1965","unstructured":"Ershov, Y.L., Lavrov, I.A., Taimanov, A.D., Taitslin, M.A.: Elementary theories. Uspekhi Mat. Nauk 20(4), 35 (1965)","journal-title":"Uspekhi Mat. Nauk"},{"issue":"2\u20133","key":"299_CR7","doi-asserted-by":"publisher","first-page":"229","DOI":"10.3166\/jancl.18.229-246","volume":"18","author":"G Georgiev","year":"2008","unstructured":"Georgiev, G., Tinchev, T.: Second-order logic on equivalence relations. J. Appl. Non-Classical Logics 18(2\u20133), 229\u2013246 (2008)","journal-title":"J. Appl. Non-Classical Logics"},{"issue":"2","key":"299_CR8","doi-asserted-by":"publisher","first-page":"264","DOI":"10.2307\/1969974","volume":"64","author":"Jr H Rogers","year":"1956","unstructured":"Rogers, Jr. H.: Certain logical reduction and decision problems. Ann. Math. Second Ser. 64(2), 264\u2013284 (1956)","journal-title":"Ann. Math. Second Ser."},{"key":"299_CR9","series-title":"Encyclopedia of Mathematics and its Applications","volume-title":"Model Theory","author":"W Hodges","year":"2008","unstructured":"Hodges, W.: Model Theory. Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge (2008)"},{"issue":"2","key":"299_CR10","doi-asserted-by":"publisher","first-page":"131","DOI":"10.4064\/fm-40-1-131-139","volume":"40","author":"A Janiczak","year":"1953","unstructured":"Janiczak, A.: Undecidability of some simple formalized theories. Fundamenta Mathematicae 40(2), 131\u2013139 (1953)","journal-title":"Fundamenta Mathematicae"},{"key":"299_CR11","volume-title":"Many-dimensional modal logics: theory and applications","author":"Agi Kurucz","year":"2003","unstructured":"Kurucz, Agi, Wolter, Frank, Zakharyaschev, Michael, Gabbay, D.M.: Many-dimensional modal logics: theory and applications. Elsevier, London (2003)"},{"issue":"1","key":"299_CR12","first-page":"5","volume":"2","author":"IA Lavrov","year":"1963","unstructured":"Lavrov, I.A.: The effective non-separability of the set of identically true formulae and the set of finitely refutable formulae for certain elementary theories. Algebra i Logika. Sem. 2(1), 5\u201318 (1963)","journal-title":"Algebra i Logika. Sem."},{"key":"299_CR13","doi-asserted-by":"crossref","unstructured":"Yana Rumenova. Modal definability: two commuting equivalence relations. Master\u2019s thesis, Sofia University St. Kliment Ohridski, 2021","DOI":"10.1007\/s11787-022-00299-4"},{"key":"299_CR14","series-title":"Mathematical logic","volume-title":"Addison-Wesley Series in Logic","author":"JR Shoenfield","year":"1967","unstructured":"Shoenfield, J.R.: Addison-Wesley Series in Logic. Mathematical logic, Addison-Wesley Publishing Company, Boston (1967)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00299-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-022-00299-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00299-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T05:01:51Z","timestamp":1700197311000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-022-00299-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,8]]},"references-count":14,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["299"],"URL":"https:\/\/doi.org\/10.1007\/s11787-022-00299-4","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,2,8]]},"assertion":[{"value":"24 June 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 December 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 February 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}