{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T11:39:39Z","timestamp":1784720379828,"version":"3.55.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,29]]},"DOI":"10.1109\/lics52264.2021.9470594","type":"proceedings-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T16:14:07Z","timestamp":1625674447000},"page":"1-13","source":"Crossref","is-referenced-by-count":6,"title":["Comonadic semantics for guarded fragments"],"prefix":"10.1109","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dan","family":"Marsden","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011207512025"},{"key":"ref11","volume":"53","author":"blackburn","year":"2002","journal-title":"Modal Logic"},{"key":"ref12","article-title":"Modal correspondence theory","author":"van benthem","year":"1976","journal-title":"Ph D Dissertation"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61604-7_60"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/507382.507388"},{"key":"ref15","volume":"26","author":"manes","year":"2012","journal-title":"Algebraic Theories"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1993.287566"},{"key":"ref17","first-page":"172","article-title":"Monad compositions. I: General constructions and recursive distributive laws","volume":"18","author":"manes","year":"2007","journal-title":"Theory and Applications of Categories [electronic only]"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316823187"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2108242.2108247"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004275029985"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1093\/logcom\/exab048","article-title":"Relating structure and power: Comonadic semantics for computational resources","author":"abramsky","year":"2021","journal-title":"Journal of Logic and Computation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06025-5_1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48660-7_3"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1524.001.0001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1058448678"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00389-0_1"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005129"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12821-9_1"},{"key":"ref20","article-title":"Amalgamation and symmetry: From local to global consistency in the finite","author":"otto","year":"2020"},{"key":"ref22","article-title":"Queries with guarded negation (full version)","author":"barany","year":"2012"},{"key":"ref21","article-title":"Acyclicity in finite groups and groupoids","author":"otto","year":"2020"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209205"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.36"}],"event":{"name":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Rome, Italy","start":{"date-parts":[[2021,6,29]]},"end":{"date-parts":[[2021,7,2]]}},"container-title":["2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470594.pdf?arnumber=9470594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T02:32:18Z","timestamp":1672713138000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9470594\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/lics52264.2021.9470594","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}