{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T09:10:17Z","timestamp":1780564217992,"version":"3.54.1"},"reference-count":27,"publisher":"Elsevier BV","issue":"9","license":[{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T00:00:00Z","timestamp":1775606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/V040944\/1"],"award-info":[{"award-number":["EP\/V040944\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2026,10]]},"DOI":"10.1016\/j.apal.2026.103775","type":"journal-article","created":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T17:29:35Z","timestamp":1775755775000},"page":"103775","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["Existential and positive games: a comonadic and axiomatic view"],"prefix":"10.1016","volume":"177","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Laure","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7331-7381","authenticated-orcid":false,"given":"Luca","family":"Reggio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.apal.2026.103775_br0010","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.tcs.2019.06.029","article-title":"Whither semantics?","volume":"807","author":"Abramsky","year":"2020","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.apal.2026.103775_br0020","series-title":"Proceedings of the 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS","article-title":"The pebbling comonad in finite model theory","author":"Abramsky","year":"2017"},{"key":"10.1016\/j.apal.2026.103775_br0030","series-title":"Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, ICALP","first-page":"115:1","article-title":"Arboreal categories and resources","volume":"vol. 198","author":"Abramsky","year":"2021"},{"issue":"3","key":"10.1016\/j.apal.2026.103775_br0040","first-page":"14:1","article-title":"Arboreal categories: an axiomatic theory of resources","volume":"19","author":"Abramsky","year":"2023","journal-title":"Log. Methods Comput. Sci."},{"issue":"6","key":"10.1016\/j.apal.2026.103775_br0050","doi-asserted-by":"crossref","DOI":"10.1016\/j.apal.2024.103423","article-title":"Arboreal categories and equi-resource homomorphism preservation theorems","volume":"175","author":"Abramsky","year":"2024","journal-title":"Ann. Pure Appl. Log."},{"issue":"3","key":"10.1016\/j.apal.2026.103775_br0060","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/3687256.3687260","article-title":"An invitation to game comonads","volume":"11","author":"Abramsky","year":"2024","journal-title":"ACM SIGLOG News"},{"key":"10.1016\/j.apal.2026.103775_br0070","series-title":"27th EACSL Annual Conference on Computer Science Logic, CSL","first-page":"2:1","article-title":"Relating structure and power: comonadic semantics for computational resources","author":"Abramsky","year":"2018"},{"issue":"6","key":"10.1016\/j.apal.2026.103775_br0080","doi-asserted-by":"crossref","first-page":"1390","DOI":"10.1093\/logcom\/exab048","article-title":"Relating structure and power: comonadic semantics for computational resources","volume":"31","author":"Abramsky","year":"2021","journal-title":"J. Log. Comput."},{"key":"10.1016\/j.apal.2026.103775_br0090","unstructured":"J. Ad\u00e1mek, H. Herrlich, G.E. Strecker, Abstract and concrete categories. The joy of cats, Online edition, 2004."},{"issue":"2","key":"10.1016\/j.apal.2026.103775_br0100","doi-asserted-by":"crossref","first-page":"292","DOI":"10.2307\/2272133","article-title":"On Moschovakis closure ordinals","volume":"42","author":"Barwise","year":"1977","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103775_br0110","article-title":"Modal Logic","volume":"vol. 53","author":"Blackburn","year":"2002"},{"key":"10.1016\/j.apal.2026.103775_br0120","series-title":"Introduction to Lattices and Order","author":"Davey","year":"2002"},{"key":"10.1016\/j.apal.2026.103775_br0130","doi-asserted-by":"crossref","first-page":"129","DOI":"10.4064\/fm-49-2-129-141","article-title":"An application of games to the completeness problem for formalized theories","volume":"49","author":"Ehrenfeucht","year":"1960","journal-title":"Fundam. Math."},{"key":"10.1016\/j.apal.2026.103775_br0140","series-title":"Complexity of Computation (Proc. SIAM-AMS Sympos., New York, 1973)","first-page":"43","article-title":"Generalized first-order spectra, and polynomial. Time recognizable sets","author":"Fagin","year":"1974"},{"key":"10.1016\/j.apal.2026.103775_br0150","first-page":"35","article-title":"Sur quelques classifications des syst\u00e8mes de relations","volume":"1","author":"Fra\u00efss\u00e9","year":"1954","journal-title":"Publ. Sci. Univ. Alger. S\u00e9r. A"},{"issue":"3","key":"10.1016\/j.apal.2026.103775_br0160","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0022-4049(72)90001-1","article-title":"Categories of continuous functors, I","volume":"2","author":"Freyd","year":"1972","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/j.apal.2026.103775_br0170","series-title":"Conference in Mathematical Logic","first-page":"111","article-title":"Craig's interpolation theorem for modal logics","author":"Gabbay","year":"1972"},{"key":"10.1016\/j.apal.2026.103775_br0180","series-title":"7th Colloquium on Automata, Languages and Programming (ICALP)","first-page":"299","article-title":"On observing nondeterminism and concurrency","author":"Hennessy","year":"1980"},{"issue":"1","key":"10.1016\/j.apal.2026.103775_br0190","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/0022-0000(82)90011-3","article-title":"Upper and lower bounds for first order expressibility","volume":"25","author":"Immerman","year":"1982","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.apal.2026.103775_br0200","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0539-5","article-title":"Descriptive Complexity","author":"Immerman","year":"1999"},{"issue":"4","key":"10.1016\/j.apal.2026.103775_br0210","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1093\/logcom\/7.4.501","article-title":"Simulating without negation","volume":"7","author":"Kurtonina","year":"1997","journal-title":"J. Log. Comput."},{"key":"10.1016\/j.apal.2026.103775_br0220","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07003-1","article-title":"Elements of Finite Model Theory","author":"Libkin","year":"2004"},{"key":"10.1016\/j.apal.2026.103775_br0230","doi-asserted-by":"crossref","first-page":"143","DOI":"10.2140\/pjm.1959.9.143","article-title":"Properties preserved under homomorphism","volume":"9","author":"Lyndon","year":"1959","journal-title":"Pac. J. Math."},{"key":"10.1016\/j.apal.2026.103775_br0240","article-title":"Categories for the Working Mathematician","volume":"vol. 5","author":"Mac Lane","year":"1998"},{"key":"10.1016\/j.apal.2026.103775_br0250","author":"Riehl"},{"key":"10.1016\/j.apal.2026.103775_br0260","unstructured":"B. ten Cate, J.C. Jung, P. Koopmann, C. Wernhard, F. Wolter (Eds.), Theory and Applications of Craig Interpolation, forthcoming."},{"key":"10.1016\/j.apal.2026.103775_br0270","series-title":"Handbook of Logic in Computer Science (vol. 4): Semantic Modelling","first-page":"1","article-title":"Models for concurrency","author":"Winskel","year":"1995"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000588?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000588?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T08:52:30Z","timestamp":1780563150000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007226000588"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,10]]},"references-count":27,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2026,10]]}},"alternative-id":["S0168007226000588"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2026.103775","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2026,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Existential and positive games: a comonadic and axiomatic view","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.apal.2026.103775","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author(s). Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"103775"}}