{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T17:18:58Z","timestamp":1755796738210,"version":"3.44.0"},"reference-count":6,"publisher":"Informa UK Limited","issue":"3","funder":[{"DOI":"10.13039\/501100005363","name":"Universidad de Buenos Aires","doi-asserted-by":"crossref","award":["UBACyT 20020190100021BA"],"award-info":[{"award-number":["UBACyT 20020190100021BA"]}],"id":[{"id":"10.13039\/501100005363","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2025,7,3]]},"DOI":"10.1080\/11663081.2024.2430110","type":"journal-article","created":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T07:40:33Z","timestamp":1732520433000},"page":"317-336","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["Axiomatization of XPath with general data comparison"],"prefix":"10.1080","volume":"35","author":[{"given":"Sergio","family":"Abriola","sequence":"first","affiliation":[{"name":"CONICET-UBA","place":["Argentina"]},{"name":"Facultad de Ciencias Exactas y Naturales, UBA","place":["Argentina"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santiago","family":"Figueira","sequence":"additional","affiliation":[{"name":"CONICET-UBA","place":["Argentina"]},{"name":"Facultad de Ciencias Exactas y Naturales, UBA","place":["Argentina"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-4491-7959","authenticated-orcid":false,"given":"Nicol\u00e1s","family":"Gonz\u00e1lez","sequence":"additional","affiliation":[{"name":"CONICET-UBA","place":["Argentina"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2024,11,25]]},"reference":[{"key":"e_1_3_3_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2017.05.008"},{"key":"e_1_3_3_3_1","unstructured":"Baelde D. Lunel S. & Schmitz S. (2016). A sequent calculus for a modal logic on finite data trees. In CSL 2016 (Vol. 62 pp. 1\u201316). LZI."},{"key":"e_1_3_3_4_1","article-title":"Axiomatizing hybrid XPath with data","volume":"17","author":"Fervari R.","year":"2021","unstructured":"Fervari, R., & Areces, C. (2021). Axiomatizing hybrid XPath with data. Logical Methods in Computer Science, 17.","journal-title":"Logical Methods in Computer Science"},{"key":"e_1_3_3_5_1","unstructured":"Figueira S. & Goren Roig G. (2023). A modal logic with n-ary relations over paths: Comonadic semantics and expressivity Unpublished result. https:\/\/arxiv.org\/abs\/2307.09679"},{"key":"e_1_3_3_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071614"},{"key":"e_1_3_3_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2009.09.002"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2024.2430110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,18]],"date-time":"2025-08-18T08:22:05Z","timestamp":1755505325000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2024.2430110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,25]]},"references-count":6,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,7,3]]}},"alternative-id":["10.1080\/11663081.2024.2430110"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2024.2430110","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2024,11,25]]},"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":"2023-09-07","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-09-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}