{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T14:12:34Z","timestamp":1762351954103},"reference-count":0,"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":[[2007,9,23]]},"DOI":"10.3166\/jancl.17.317-346","type":"journal-article","created":{"date-parts":[[2007,11,6]],"date-time":"2007-11-06T11:52:24Z","timestamp":1194349944000},"page":"317-346","source":"Crossref","is-referenced-by-count":4,"title":["Definable fixed points in modal and temporal logics : A survey"],"prefix":"10.1080","volume":"17","author":[{"given":"Sergey","family":"Mardaev","sequence":"first","affiliation":[]}],"member":"301","container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,14]],"date-time":"2016-12-14T06:51:52Z","timestamp":1481698312000},"score":1,"resource":{"primary":{"URL":"http:\/\/jancl.revuesonline.com\/article.jsp?articleId=10742"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,23]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,9,23]]}},"URL":"https:\/\/doi.org\/10.3166\/jancl.17.317-346","relation":{},"ISSN":["1166-3081"],"issn-type":[{"value":"1166-3081","type":"print"}],"subject":[],"published":{"date-parts":[[2007,9,23]]}}}