{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T23:25:05Z","timestamp":1787009105522,"version":"build-2736575974"},"reference-count":17,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2013,6,1]]},"DOI":"10.1093\/jigpal\/jzr038","type":"journal-article","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T20:34:18Z","timestamp":1319747658000},"page":"380-403","source":"Crossref","is-referenced-by-count":14,"title":["Connecting dynamic epistemic and temporal epistemic logics"],"prefix":"10.1093","volume":"21","author":[{"given":"H.","family":"van Ditmarsch","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W.","family":"van der Hoek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Ruan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2011,10,27]]},"reference":[{"key":"1_29342601","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","year":"1985","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"2_26018171","doi-asserted-by":"crossref","first-page":"1161","DOI":"10.2307\/2171725","volume":"63","year":"1995","ISSN":"https:\/\/id.crossref.org\/issn\/0012-9682","issn-type":"print"},{"key":"6_30121951","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","year":"1997","journal-title":"JOURNAL OF LOGIC LANGUAGE AND INFORMATION"},{"key":"7_26526863","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","year":"2004","journal-title":"SIAM JOURNAL ON COMPUTING"},{"key":"10_41094333","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/s11229-009-9552-6","volume":"169","year":"2009","ISSN":"https:\/\/id.crossref.org\/issn\/0039-7857","issn-type":"print"},{"key":"12_41094334","doi-asserted-by":"crossref","first-page":"313","DOI":"10.3233\/FUN-2008-851-422","volume":"85","year":"2008","journal-title":"FUNDAMENTA INFORMATICA"},{"key":"13_41094400","first-page":"46","volume":"1441","year":"1998","journal-title":"PROCEEDINGS OF THE AI WORKSHOP ON THE THEORETICAL AND PRACTICAL FOUNDATIONS OF INTELLIGENT AGENTS AND AGENTORIENTED SYSTEMS"},{"key":"16_41094336","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1016\/j.jal.2006.03.012","volume":"5","year":"2007","journal-title":"JOURNAL OF APPLIED LOGIC"},{"key":"17_41094401","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-15648-8_21","volume":"193","year":"1985","journal-title":"LOGIC OF PROGRAMS"},{"key":"21_41094338","first-page":"183","volume":"17","year":"2009","journal-title":"JOURNAL OF LOGIC LANGUAGE AND INFORMATION"},{"issue":"4","key":"22_28656235","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1093\/comjnl\/bxm009","volume":"50","year":"2007","journal-title":"The Computer Journal","ISSN":"https:\/\/id.crossref.org\/issn\/0010-4620","issn-type":"print"},{"key":"24_38968489","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1111\/1467-8586.00133","volume":"53","year":"2001","journal-title":"BULLETIN OF ECONOMIC RESEARCH"},{"key":"26_40006480","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","year":"2009","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"},{"key":"27_40006481","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1026181001368","volume":"75","year":"2003","journal-title":"STUDIA LOGICA"},{"key":"28_41094339","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1023\/A:1026168632319","volume":"75","year":"2003","journal-title":"STUDIA LOGICA"},{"issue":"4","key":"29_30121946","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1093\/logcom\/exm081","volume":"18","year":"2008","journal-title":"Journal of Logic and Computation","ISSN":"https:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"31_37969372","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.entcs.2005.07.029","volume":"149","year":"2006","journal-title":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/21\/3\/380\/1834866\/jzr038.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T08:02:23Z","timestamp":1741852943000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzr038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,27]]},"references-count":17,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2013,5,14]]},"published-print":{"date-parts":[[2013,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzr038","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10,27]]}}}