{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T11:16:26Z","timestamp":1783422986076,"version":"3.54.6"},"reference-count":22,"publisher":"Maximum Academic Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["KER"],"published-print":{"date-parts":[[2026]]},"DOI":"10.48130\/ker-0026-0004","type":"journal-article","created":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T07:06:02Z","timestamp":1781507162000},"page":"0-0","source":"Crossref","is-referenced-by-count":0,"title":["Consistent update synthesis via privatized beliefs"],"prefix":"10.48130","volume":"41","author":[{"given":"Thomas","family":"Schl\u00f6gl","sequence":"first","affiliation":[{}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roman","family":"Kuznets","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giorgio","family":"Cignarale","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"27968","reference":[{"key":"key-10.48130\/ker-0026-0004-1","unstructured":"

Hintikka J. 1962. Knowledge and belief: an introduction to the logic of the two notions<\/i>. Ithaca: Cornell University Press. https:\/\/hdl.handle.net\/2324\/1000461361<\/ext-link><\/p>"},{"key":"key-10.48130\/ker-0026-0004-2","doi-asserted-by":"crossref","unstructured":"

Fagin R, Halpern J, Moses Y, and Vardi M. 1995. Reasoning About Knowledge<\/i>. US: MIT Press. 10.7551\/mitpress\/5803.001.0001<\/ext-link><\/p>","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"key-10.48130\/ker-0026-0004-3","unstructured":"

Plaza J. 1989. Logics of public communications. In Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems: Poster Session Program<\/i>, eds. Emrich ML, Pfeifer MS, Hadzikadic M, Ras Z. Oak Ridge National Laboratory. pp. 201\u2013216<\/p>"},{"key":"key-10.48130\/ker-0026-0004-4","doi-asserted-by":"crossref","unstructured":"

van Ditmarsch H, van der Hoek W, Kooi B. 2007. Dynamic epistemic logic<\/i>. Vol. 337. Dordrecht: Springer. doi: 10.1007\/978-1-4020-5839-4<\/ext-link><\/p>","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"key-10.48130\/ker-0026-0004-5","doi-asserted-by":"crossref","unstructured":"

Kooi B, Renne B. 2011. Generalized arrow update logic. In TARK XIII, Theoretical Aspects of Rationality and Knowledge: Proceedings of the Thirteenth Conference (TARK 2011), Groningen, The Netherlands, July 12\u201314, 2011<\/i>. US: Association for Computing Machinery. pp. 205\u2013211 10.1145\/2000378.2000403<\/ext-link><\/p>","DOI":"10.1145\/2000378.2000403"},{"key":"key-10.48130\/ker-0026-0004-6","doi-asserted-by":"publisher","unstructured":"

van Ditmarsch H, van der Hoek W, Kooi B, Kuijer L. 2020. Arrow update synthesis. Information and Computation<\/ext-link><\/i> 275:104544<\/p>","DOI":"10.1016\/j.ic.2020.104544"},{"key":"key-10.48130\/ker-0026-0004-7","doi-asserted-by":"publisher","unstructured":"

Kooi B and Renne B. 2011. Arrow update logic. The Review of Symbolic Logic<\/ext-link><\/i> 4:536\u2212559<\/p>","DOI":"10.1017\/S1755020311000189"},{"key":"key-10.48130\/ker-0026-0004-8","doi-asserted-by":"crossref","unstructured":"

Hales J. 2013. Arbitrary action model logic and action model synthesis. 2013 28th<\/sup> Annual ACM\/IEEE Symposium on Logic and Computer Science (LICS), 25\u201328 June 2013, New Orleans, USA<\/i>. USA: IEEE. pp. 253\u2013262 doi: 10.1109\/LICS.2013.31<\/ext-link><\/p>","DOI":"10.1109\/LICS.2013.31"},{"key":"key-10.48130\/ker-0026-0004-9","unstructured":"

Baltag A, Renne B. 2016. Dynamic epistemic logic. In The Stanford Encyclopedia of Philosophy<\/i>, ed. Zalta EN. Winter 2016 Edition. Metaphysics Research Lab, Stanford University. https:\/\/plato.stanford.edu\/archives\/win2016\/entries\/dynamic-epistemic<\/ext-link><\/p>"},{"key":"key-10.48130\/ker-0026-0004-10","doi-asserted-by":"crossref","unstructured":"

Artemov S. 2020. Observable Models. In Logical Foundations of Computer Science. LFCS 2020. Lecture Notes in Computer Science<\/i>, eds. Artemov S, Nerode A. Vol. 11972. Cham: Springer. pp. 12\u201326. doi: 10.1007\/978-3-030-36755-8_2<\/ext-link><\/p>","DOI":"10.1007\/978-3-030-36755-8_2"},{"key":"key-10.48130\/ker-0026-0004-11","doi-asserted-by":"publisher","unstructured":"

Herzig A. 2017. Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. Journal of Applied Non-Classical Logics<\/ext-link><\/i> 27:328\u2212341<\/p>","DOI":"10.1080\/11663081.2017.1416036"},{"key":"key-10.48130\/ker-0026-0004-12","unstructured":"

Aucher G, Schwarzentruber F. 2013. On the complexity of dynamic epistemic logic. TARK 2013: Theoretical Aspects of Rationality and Knowledge, Proceedings of the 14th<\/sup> Conference \u2014 Chennai, India<\/i>, ed. Schipper BC. Davis, US: University of California. pp. 19\u201328 doi: 10.48550\/arXiv.1310.6406<\/ext-link><\/p>"},{"key":"key-10.48130\/ker-0026-0004-13","doi-asserted-by":"crossref","unstructured":"

Baltag A, Smets S. 2008. A qualitative theory of dynamic interactive belief revision. In Logic and the Foundations of Game and Decision Theory (LOFT 7), Texts in Logic and Games<\/i>, eds. Bonanno G, van der Hoek W, Wooldridge M. Vol. 3. Netherlands: Amsterdam University Press. pp. 11\u201358 www.jstor.org\/stable\/j.ctt46mz4h.4<\/ext-link><\/p>","DOI":"10.5117\/9789089640260-1"},{"key":"key-10.48130\/ker-0026-0004-14","doi-asserted-by":"publisher","unstructured":"

van Ditmarsch H. 2013. Revocable Belief Revision. Studia Logica<\/ext-link><\/i> 101:1185\u22121214<\/p>","DOI":"10.1007\/s11225-013-9529-9"},{"key":"key-10.48130\/ker-0026-0004-15","doi-asserted-by":"crossref","unstructured":"

Lorini E. 2019. Exploiting belief bases for building rich epistemic structures. Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, Toulouse, France, 17\u201319 July 2019<\/i>, ed. Moss LS. Vol. 297. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. pp. 332\u2013353 doi: 10.4204\/EPTCS.297.21<\/ext-link><\/p>","DOI":"10.4204\/EPTCS.297.21"},{"key":"key-10.48130\/ker-0026-0004-16","doi-asserted-by":"publisher","unstructured":"

Lorini E. 2020. Rethinking epistemic logic with belief bases. Artificial Intelligence<\/ext-link><\/i> 282:103233<\/p>","DOI":"10.1016\/j.artint.2020.103233"},{"key":"key-10.48130\/ker-0026-0004-17","unstructured":"

van Ditmarsch H, Halpern J, van der Hoek W, Kooi B. 2015. Handbook of epistemic logic<\/i>. London, UK: College Publications.<\/p>"},{"key":"key-10.48130\/ker-0026-0004-18","doi-asserted-by":"crossref","unstructured":"

Blackburn P, de Rijke M, Venema Y. 2001. Modal Logic<\/i>. Vol. 53. UK: Cambridge University Press. doi: 10.1017\/CBO9781107050884<\/ext-link><\/p>","DOI":"10.1017\/CBO9781107050884"},{"key":"key-10.48130\/ker-0026-0004-19","unstructured":"

Wen X, Yu Q, Liu Y. 2013. Multi-agent epistemic explanatory diagnosis via reasoning about actions. IJCAI '13: Proceedings of the Twenty-Third international joint conference on Artificial Intelligence, Beijing, China, August 3\u20139, 2013<\/i>. USA: AAAI Press. pp. 1183 \u20131190 https:\/\/dl.acm.org\/doi\/10.5555\/2540128.2540298<\/ext-link><\/p>"},{"key":"key-10.48130\/ker-0026-0004-20","doi-asserted-by":"crossref","unstructured":"

van Benthem J, Smets S. 2015. Dynamic Logics of belief change. In Handbook of Epistemic Logic<\/i>, ed. van Ditmarsch H, Halpern JY, van der Hoek W, Kooi B. College Publications. pp. 313\u2013393 doi: 10.3166\/jancl.17.129-155<\/ext-link><\/p>","DOI":"10.3166\/jancl.17.129-155"},{"key":"key-10.48130\/ker-0026-0004-21","unstructured":"

Hansson S. 2022. Logic of belief revision. In The Stanford Encyclopedia of Philosophy<\/i>, ed. Zalta EN. US: Metaphysics Research Lab, Stanford University. https:\/\/plato.stanford.edu\/archives\/spr2022\/entries\/logic-belief-revision<\/ext-link><\/p>"},{"key":"key-10.48130\/ker-0026-0004-22","doi-asserted-by":"publisher","unstructured":"

van Ditmarsch H, van der Hoek W, Kuijer L. 2017. The undecidability of arbitrary arrow update logic. Theoretical Computer Science<\/ext-link><\/i> 693:1\u221212<\/p>","DOI":"10.1016\/j.tcs.2017.07.018"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"deposited":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T10:33:39Z","timestamp":1783420419000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.maxapress.com\/article\/doi\/10.48130\/ker-0026-0004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026]]}},"URL":"https:\/\/doi.org\/10.48130\/ker-0026-0004","relation":{},"ISSN":["1469-8005"],"issn-type":[{"value":"1469-8005","type":"print"}],"subject":[],"published":{"date-parts":[[2026]]}}}