{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T20:45:10Z","timestamp":1783111510008,"version":"3.54.6"},"reference-count":52,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.3166\/jancl.20.139-171","type":"journal-article","created":{"date-parts":[[2011,2,17]],"date-time":"2011-02-17T14:38:24Z","timestamp":1297953504000},"page":"139-171","source":"Crossref","is-referenced-by-count":9,"title":["Some modal aspects of XPath"],"prefix":"10.1080","volume":"20","author":[{"given":"Balder","family":"ten Cate","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ga\u00eblle","family":"Fontaine","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tadeusz","family":"Litak","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9170-9"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1145\/1346330.1346333"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.030"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61377-3_33"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.01.018"},{"key":"CIT0007","first-page":"721","volume-title":"Handbook of Modal Logic, volume 3 of Studies in Logic and Practical Reasoning","author":"Bradfield J. C.","year":"2007"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.04.002"},{"key":"CIT0009","doi-asserted-by":"crossref","first-page":"79","DOI":"10.3233\/FUN-2008-821-206","volume":"82","author":"Esik Z.","year":"2008","journal-title":"Fundamenta Informaticae"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2953"},{"key":"CIT0011","first-page":"197","volume-title":"Proceedings of the 27th Annual ACMSIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'09)","author":"Figueira D."},{"key":"CIT0012","first-page":"230","volume-title":"Proceedings of the 13th International Conference on Database Theory (ICDT'10)","author":"Figueira D."},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093891703"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"CIT0015","volume-title":"Modal fixpoint logic","author":"Fontaine G.","year":"2010"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)E0084-2"},{"key":"CIT0017","volume-title":"Logics of Time and Computation, volume 7 of Lecture Notes","author":"Goldblatt R.","year":"1987"},{"key":"CIT0018","volume-title":"Proceedings of VLDB 2002","author":"Gottlob G."},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071614"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1145\/1131342.1131345"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271805106"},{"key":"CIT0022","volume-title":"Logic and Bisimulation","author":"Hollenberg M.","year":"1998"},{"key":"CIT0023","first-page":"263","volume-title":"Lecture Notes In Computer Science, Proceedings of the 7th International Conference on Concurrency Theory","volume":"1119","author":"Janin D."},{"key":"CIT0024","volume-title":"Computer-aided investigations of relation algebras","author":"Jipsen P.","year":"1992"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1145\/1185877.1185879"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-002"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1037"},{"key":"CIT0028","first-page":"262","volume":"2141","author":"Lutz C.","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-003-0136-5"},{"key":"CIT0030","volume-title":"Proceedings of the 9th International Conference on Extending Database Technology (EDBT 2004), volume 2992 of Lecture Notes in Computer Science","author":"Marx M."},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1145\/1114244.1114247"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1145\/1083784.1083792"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-007-9052-4"},{"key":"CIT0034","volume-title":"Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS'10)","author":"Place Th."},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370685"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370112"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1145\/3828.3837"},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8601-8"},{"key":"CIT0039","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/041"},{"key":"CIT0040","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2009.09.002"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1145\/1568318.1568321"},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1145\/1328854.1328858"},{"key":"CIT0043","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-008-9151-9"},{"key":"CIT0044","volume-title":"Exploring Logical Dynamics","author":"van Benthem J.","year":"1996"},{"key":"CIT0045","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005072201319"},{"key":"CIT0046","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-006-8301-9"},{"key":"CIT0047","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8242-1_12"},{"key":"CIT0048","first-page":"3","volume-title":"Arrow logic and multi-modal logic","author":"Venema Y.","year":"1997"},{"key":"CIT0049","first-page":"14","volume-title":"Processes, Terms and Cycles: Steps on the Road to Infinity. Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday, volume 3838 of Lecture Notes in Computer Science","author":"Visser A."},{"key":"CIT0050","author":"W3C","year":"1999","journal-title":"W3C recommendation"},{"key":"CIT0051","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2006.11.012"},{"key":"CIT0052","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0454-0_2"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T19:05:31Z","timestamp":1740942331000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.20.139-171"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":52,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2010,1]]}},"alternative-id":["10.3166\/jancl.20.139-171"],"URL":"https:\/\/doi.org\/10.3166\/jancl.20.139-171","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}