{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T12:06:16Z","timestamp":1775736376106,"version":"3.50.1"},"reference-count":31,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.3166\/jancl.17.231-253","type":"journal-article","created":{"date-parts":[[2007,7,30]],"date-time":"2007-07-30T17:07:47Z","timestamp":1185815267000},"page":"231-253","source":"Crossref","is-referenced-by-count":66,"title":["Expressivity and completeness for public update logics via reduction axioms"],"prefix":"10.1080","volume":"17","author":[{"given":"Barteld","family":"Kooi","sequence":"first","affiliation":[]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","volume-title":"How to Do Things with Words, the William James Lectures Delivered at Harvard University in 1955","author":"Austin J. L.","year":"1962"},{"key":"CIT0002","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"Baader F.","year":"1998"},{"issue":"1","key":"CIT0003","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/1467-8586.00138","volume":"54","author":"Baltag A.","year":"2002","journal-title":"Bulletin of Economic Research"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1023\/B:SYNT.0000024912.56773.5e"},{"key":"CIT0005","volume-title":"The logic of public announcements, common knowledge, and private suspicions","author":"Baltag A.","year":"1999"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"CIT0007","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"Fagin R.","year":"1995"},{"key":"CIT0008","first-page":"152","volume":"17","author":"Freudenthal H.","year":"1969","journal-title":"Nieuw Archief voor Wiskunde"},{"key":"CIT0009","first-page":"102","volume":"18","author":"Freudenthal H.","year":"1970","journal-title":"Nieuw Archief voor Wiskunde"},{"key":"CIT0010","series-title":"ILLC Dissertation Series DS-1999-01","volume-title":"Bisimulations on Planet Kripke","author":"Gerbrandy J. D.","year":"1998"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008222603071"},{"issue":"1","key":"CIT0012","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0004-3702(99)00072-7","volume":"115","author":"Herzig A.","year":"1999","journal-title":"Artificial Intelligence"},{"key":"CIT0013","volume-title":"Knowledge and Belief, An Introduction to the Logic of the Two Notions","author":"Hintikka J.","year":"1962"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526664.007"},{"key":"CIT0016","series-title":"ILLC Dissertation Series DS-2003-01","volume-title":"Knowledge, Chance, and Change","author":"Kooi B. P.","year":"2003"},{"key":"CIT0017","series-title":"Technical report series, UMCS-04-9-1","first-page":"197","volume-title":"AiML-2004: Advances in Modal Logic","author":"Kooi B. P.","year":"2004"},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0304-3975(81)90019-0","volume":"14","author":"Kozen D.","year":"1981","journal-title":"Theoretical Computer Science"},{"key":"CIT0019","series-title":"Ablex series in artificial intelligence","volume-title":"Formalizing Common Sense : Papers by John McCarthy","author":"McCarthy J.","year":"1990"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852"},{"key":"CIT0021","first-page":"201","volume-title":"Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems","author":"Plaza J. A."},{"issue":"2","key":"CIT0022","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1093\/logcom\/14.2.251","volume":"14","author":"Renardel de Lavalette G. R.","year":"2004","journal-title":"Journal of Logic and Computation"},{"issue":"11","key":"CIT0023","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"van Benthem J.","year":"2006","journal-title":"Information and Computation"},{"key":"CIT0024","first-page":"253","volume-title":"Theoretical Aspects of Rationality And Knowledge: Proceedings of the Tenth Conference (TARK 2005)","author":"van Benthem J."},{"key":"CIT0025","series-title":"ILLC Dissertation Series DS-2000-06","volume-title":"Knowledge games","author":"van Ditmarsch H. P.","year":"2000"},{"issue":"2","key":"CIT0026","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s11229-005-3384-9","volume":"151","author":"van Ditmarsch H. P.","year":"2006","journal-title":"Synthese"},{"key":"CIT0027","first-page":"790","volume-title":"AI 2005, vol. 3809 of Lecture Notes in Artificial Intelligence","author":"van Ditmarsch H. P.","year":"2005"},{"key":"CIT0028","first-page":"45","volume-title":"Knowledge Contributors","author":"van Ditmarsch H. P.","year":"2003"},{"key":"CIT0029","first-page":"141","volume-title":"Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 05)","volume":"1","author":"van Ditmarsch H. P."},{"key":"CIT0030","volume-title":"Guarded Actions","author":"van Eijck J.","year":"2004"},{"key":"CIT0031","volume-title":"Product update and looking backward","author":"Yap A.","year":"2006"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T00:36:06Z","timestamp":1737333366000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.17.231-253"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":31,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2007,1]]}},"alternative-id":["10.3166\/jancl.17.231-253"],"URL":"https:\/\/doi.org\/10.3166\/jancl.17.231-253","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}