{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:27:08Z","timestamp":1750188428070,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2002.1029844","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:14:31Z","timestamp":1056564871000},"page":"371-380","source":"Crossref","is-referenced-by-count":4,"title":["Modal and guarded characterisation theorems over finite transition systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Otto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Modal Logic and Classical Logic","year":"1983","author":"van benthem","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.2307\/2586507"},{"journal-title":"Finite conformal hypergraph covers and Gaifman cliques in finite structures","year":"2001","author":"hodkinson","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004275029985"},{"key":"7","first-page":"105","article-title":"On local and non-local properties","volume":"81","author":"gaifman","year":"1982","journal-title":"Logic Colloquium"},{"journal-title":"Finite Model Theory","year":"1999","author":"ebbinghaus","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"journal-title":"Exploring Logical Dynamics","year":"1996","author":"van benthem","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/507382.507388"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.2307\/2586808"},{"journal-title":"Interpolation in guarded fragments","year":"0","author":"hoooland","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008275906015"}],"event":{"name":"17th Annual IEEE Symposium on Logic in Computer Science","acronym":"LICS-02","location":"Copenhagen, Denmark"},"container-title":["Proceedings 17th Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8005\/22127\/01029844.pdf?arnumber=1029844","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T16:37:24Z","timestamp":1489163844000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029844\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/lics.2002.1029844","relation":{},"subject":[]}}