{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:02:26Z","timestamp":1729652546908,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2003.1210055","type":"proceedings-article","created":{"date-parts":[[2003,12,22]],"date-time":"2003-12-22T12:34:10Z","timestamp":1072096450000},"page":"158-167","source":"Crossref","is-referenced-by-count":4,"title":["Will deflation lead to depletion? On non-monotone fixed point inductions"],"prefix":"10.1109","author":[{"given":"E.","family":"Gradel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Kreutzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Bisimulation, model checking and other games","author":"stirling","year":"1997","journal-title":"Notes for the Mathfit Instructional Meeting on Games and Computation"},{"key":"17","doi-asserted-by":"crossref","first-page":"39","DOI":"10.4064\/fm-82-1-39-83","article-title":"On non-monotone inductive definability","volume":"82","author":"moschovakis","year":"1974","journal-title":"Fundamenta Mathematica"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00314-4"},{"journal-title":"The Undecidability of Iterated Modal Relativization","year":"2003","author":"miller","key":"15"},{"journal-title":"Elementary Induction on Abstract Structures","year":"1974","author":"moschovakis","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029848"},{"journal-title":"Pure and Applied Fixed Point Logic","year":"2002","author":"kreutzer","key":"14"},{"key":"11","first-page":"263","article-title":"On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic","volume":"1119","author":"janin","year":"1996","journal-title":"LNCS"},{"key":"12","first-page":"290","article-title":"Small progress measures for solving parity games","volume":"1770","author":"jurdzin?ski","year":"2000","journal-title":"LNCS"},{"key":"3","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0304-3975(97)00217-X","article-title":"The modal ?-calculus alternation hierarchy is strict","volume":"195","author":"bradfield","year":"1998","journal-title":"Theoretical Computer Science"},{"key":"20","first-page":"137","article-title":"The complexity of relational query languages","author":"vardi","year":"1982","journal-title":"Proceedings of the 14th ACM Symposium on the Theory of Computing"},{"key":"2","article-title":"One is a lonely number","volume":"pp 2003 7","author":"van benthem","year":"2003","journal-title":"Technical Report ILLC Research Report"},{"key":"1","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1016\/S0049-237X(08)71120-0","article-title":"An introduction to inductive definitions","author":"aczel","year":"1977","journal-title":"Handbook of Mathematical Logic Volume 90 of Studies in Logic"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(86)80029-8"},{"journal-title":"Reasoning About Knowledge","year":"1995","author":"fagin","key":"7"},{"journal-title":"Finite Model Theory","year":"1999","author":"ebbinghaus","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36206-1_11"},{"key":"4","article-title":"Inflationary fixed points in modal logic","author":"dawar","year":"2003","journal-title":"ACM Transactions on Computational Logic"},{"key":"9","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0168-0072(86)90055-2","article-title":"Fixed-point extensions of first-order logic","volume":"32","author":"gurevich","year":"1986","journal-title":"Annals of Pure and Applied Logic"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68804-8_3"}],"event":{"name":"18th Annual IEEE Symposium on Logic in Computer Science","acronym":"LICS-03","location":"Ottawa, Ont., Canada"},"container-title":["18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8592\/27231\/01210055.pdf?arnumber=1210055","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,31]],"date-time":"2018-03-31T06:08:48Z","timestamp":1522476528000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1210055\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/lics.2003.1210055","relation":{},"subject":[]}}