{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:30:48Z","timestamp":1758274248795,"version":"3.41.0"},"reference-count":43,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T00:00:00Z","timestamp":1566345600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NWO","award":["016.138.314"],"award-info":[{"award-number":["016.138.314"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2019,10,31]]},"abstract":"<jats:p>The present article contributes to the development of the mathematical theory of epistemic updates using the tools of duality theory. Here, we focus on Probabilistic Dynamic Epistemic Logic (PDEL). We dually characterize the product update construction of PDEL-models as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. Thanks to this construction, an interpretation of the language of PDEL can be defined on algebraic models based on Heyting algebras. This justifies our proposal for the axiomatization of the intuitionistic counterpart of PDEL.<\/jats:p>","DOI":"10.1145\/3341725","type":"journal-article","created":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T11:40:27Z","timestamp":1566387627000},"page":"1-75","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Probabilistic Epistemic Updates on Algebras"],"prefix":"10.1145","volume":"20","author":[{"given":"Willem","family":"Conradie","sequence":"first","affiliation":[{"name":"School of Mathematics, University of the Witwatersrand, South Johannesburg, South Africa"}]},{"given":"Sabine","family":"Frittella","sequence":"additional","affiliation":[{"name":"INSA Centre Val de Loire, Univ. Orl\u00e9ans, LIFO EA 4022, Bourges, France"}]},{"given":"Alessandra","family":"Palmigiano","sequence":"additional","affiliation":[{"name":"Faculty of Technology, Policy and Management, Delft University of Technology, the Netherlands and Department of Pure and Applied Mathematics, University of Johannesburg, South Africa"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6228-4198","authenticated-orcid":false,"given":"Apostolos","family":"Tzimoulis","sequence":"additional","affiliation":[{"name":"School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"}]},{"given":"Nachoem","family":"Wijnberg","sequence":"additional","affiliation":[{"name":"Amsterdam Business School, University of Amsterdam, the Netherlands, College of Business and Economics, University of Johannesburg, Johannesburg, South Africa"}]}],"member":"320","published-online":{"date-parts":[[2019,8,21]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","unstructured":"A. Achimescu A. Baltag and J. Sack. 2016. The probabilistic logic of communication and change. J. Log. Comput. (2016).  A. Achimescu A. Baltag and J. Sack. 2016. The probabilistic logic of communication and change. J. Log. Comput. (2016).","DOI":"10.1093\/logcom\/exv084"},{"volume-title":"Games and Logics for Informational Cascades. Master\u2019s thesis","author":"Achimescu A. C.","key":"e_1_2_1_2_1","unstructured":"A. C. Achimescu . 2014. Games and Logics for Informational Cascades. Master\u2019s thesis . University of Amsterdam. A. C. Achimescu. 2014. Games and Logics for Informational Cascades. Master\u2019s thesis. University of Amsterdam."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-008-9142-5"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020315000374"},{"volume-title":"Advances in Modal Logic, Lev Beklemishev, St\u00e9phane Demri, and Andr\u00e1s M\u00e1t\u00e9 (Eds.)","author":"Bakhtiari Zeinab","key":"e_1_2_1_5_1","unstructured":"Zeinab Bakhtiari , Hans van Ditmarsch , and Sabine Frittella . 2016. Algebraic semantic of refinement modal logic . In Advances in Modal Logic, Lev Beklemishev, St\u00e9phane Demri, and Andr\u00e1s M\u00e1t\u00e9 (Eds.) , Vol. 11 . College Publications . Zeinab Bakhtiari, Hans van Ditmarsch, and Sabine Frittella. 2016. Algebraic semantic of refinement modal logic. In Advances in Modal Logic, Lev Beklemishev, St\u00e9phane Demri, and Andr\u00e1s M\u00e1t\u00e9 (Eds.), Vol. 11. College Publications."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48561-3_37"},{"volume-title":"Logic, Rationality, and Interaction","author":"Bakhtiarinoodeh Zeinab","key":"e_1_2_1_7_1","unstructured":"Zeinab Bakhtiarinoodeh and Umberto Rivieccio . 2015. Epistemic updates on bilattices . In Logic, Rationality, and Interaction . Springer , 426--428. Zeinab Bakhtiarinoodeh and Umberto Rivieccio. 2015. Epistemic updates on bilattices. In Logic, Rationality, and Interaction. Springer, 426--428."},{"key":"e_1_2_1_8_1","volume-title":"University: Foundations and Applications (Studies in Logic), Johan van Benthem and Fenrong Liu (Eds.)","author":"Baltag A.","year":"2013","unstructured":"A. Baltag , Z. Christoff , J. U. Hansen , and S. Smets . 2013 . Logical models of informational cascades. Logic Across the University: Foundations and Applications (Studies in Logic), Johan van Benthem and Fenrong Liu (Eds.) . College Publication . A. Baltag, Z. Christoff, J. U. Hansen, and S. Smets. 2013. Logical models of informational cascades. Logic Across the University: Foundations and Applications (Studies in Logic), Johan van Benthem and Fenrong Liu (Eds.). College Publication."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:SYNT.0000024912.56773.5e"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005073905902"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005173628262"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S175502031700034X"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40581-0_10"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2874775"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341725"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.10.004"},{"key":"e_1_2_1_18_1","first-page":"1","article-title":"Sahlqvist via translation","volume":"15","author":"Conradie Willem","year":"2019","unstructured":"Willem Conradie , Alessandra Palmigiano , and Zhiguang Zhao . 2019 . Sahlqvist via translation . Log. Meth. Comput. Sci. 15 , 1 (Feb. 2019). Willem Conradie, Alessandra Palmigiano, and Zhiguang Zhao. 2019. Sahlqvist via translation. Log. Meth. Comput. Sci. 15, 1 (Feb. 2019).","journal-title":"Log. Meth. Comput. Sci."},{"key":"e_1_2_1_19_1","unstructured":"B. A. Davey and H. A. Priestley. 2002. Lattices and Order. Cambridge University Press.  B. A. Davey and H. A. Priestley. 2002. Lattices and Order. Cambridge University Press."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/174652.174658"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90060-U"},{"key":"e_1_2_1_22_1","first-page":"687","article-title":"The finite model property for MIPQ and some consequences.Notre Dame J","volume":"19","author":"Fischer-Servi Gis\u00e8le","year":"1978","unstructured":"Gis\u00e8le Fischer-Servi 1978 . The finite model property for MIPQ and some consequences.Notre Dame J . Form. Log. 19 , 4 (1978), 687 -- 692 . Gis\u00e8le Fischer-Servi et al. 1978. The finite model property for MIPQ and some consequences.Notre Dame J. Form. Log. 19, 4 (1978), 687--692.","journal-title":"Form. Log."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2016.09.017"},{"key":"e_1_2_1_24_1","article-title":"Multi-type display calculus for propositional dynamic logic","volume":"26","author":"Frittella Sabine","year":"2014","unstructured":"Sabine Frittella , Giuseppe Greco , Alexander Kurz , and Alessandra Palmigiano . 2014 . Multi-type display calculus for propositional dynamic logic . J. Log. Comput. 26 , 6 (11 2014), 2067--2104. Sabine Frittella, Giuseppe Greco, Alexander Kurz, and Alessandra Palmigiano. 2014. Multi-type display calculus for propositional dynamic logic. J. Log. Comput. 26, 6 (11 2014), 2067--2104.","journal-title":"J. Log. Comput."},{"key":"e_1_2_1_25_1","unstructured":"S. Frittella G. Greco A. Kurz A. Palmigiano and V. Sikimi\u0107. 2014. Multi-type sequent calculi. In Trends in Logic XIII Janusz Kaczmarek Michal Zawidzki and Andrzej Indrzejczak (Eds.). Lod\u017a University Press 81--93.  S. Frittella G. Greco A. Kurz A. Palmigiano and V. Sikimi\u0107. 2014. Multi-type sequent calculi. In Trends in Logic XIII Janusz Kaczmarek Michal Zawidzki and Andrzej Indrzejczak (Eds.). Lod\u017a University Press 81--93."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exu068"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exu063"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-52921-8_14"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40948-6_11"},{"key":"e_1_2_1_30_1","first-page":"1367","article-title":"Unified correspondence as a proof-theoretic tool","volume":"28","author":"Greco Giuseppe","year":"2016","unstructured":"Giuseppe Greco , Minghui Ma , Alessandra Palmigiano , Apostolos Tzimoulis , and Zhiguang Zhao . 2016 . Unified correspondence as a proof-theoretic tool . J. Log. Comput. 28 , 7 (2016), 1367 -- 1442 . Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, and Zhiguang Zhao. 2016. Unified correspondence as a proof-theoretic tool. J. Log. Comput. 28, 7 (2016), 1367--1442.","journal-title":"J. Log. Comput."},{"key":"e_1_2_1_31_1","unstructured":"Giuseppe Greco and Alessandra Palmigiano. {n.d.}. Linear logic properly displayed. Submitted. ArXiv preprint 1611.04181 ({n.d.}). https:\/\/arxiv.org\/abs\/1611.04181  Giuseppe Greco and Alessandra Palmigiano. {n.d.}. Linear logic properly displayed. Submitted. ArXiv preprint 1611.04181 ({n.d.}). https:\/\/arxiv.org\/abs\/1611.04181"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-55386-2_11"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025050800836"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-9(4:17)2013"},{"volume-title":"Linear Algebra","author":"Lang S.","key":"e_1_2_1_35_1","unstructured":"S. Lang . 2013. Linear Algebra . Springer New York . Retrieved from: https:\/\/books.google.nl\/books?id&equals;_WsgBAAAQBAJ. S. Lang. 2013. Linear Algebra. Springer New York. Retrieved from: https:\/\/books.google.nl\/books?id&equals;_WsgBAAAQBAJ."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.11.004"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1937-1501929-X"},{"key":"e_1_2_1_38_1","volume-title":"Proc AiML, Rajeev Gor\u00e9, Barteld Kooi, and Agi Kurucz (Eds.). College Publications, 459--477","author":"Rivieccio Umberto","year":"2014","unstructured":"Umberto Rivieccio . 2014 . Bilattice Public Announcement Logic , Proc AiML, Rajeev Gor\u00e9, Barteld Kooi, and Agi Kurucz (Eds.). College Publications, 459--477 . Umberto Rivieccio. 2014. Bilattice Public Announcement Logic, Proc AiML, Rajeev Gor\u00e9, Barteld Kooi, and Agi Kurucz (Eds.). College Publications, 459--477."},{"volume-title":"Logical Dynamics of Information and Interaction","author":"van Benthem Johan","key":"e_1_2_1_39_1","unstructured":"Johan van Benthem . 2011. Logical Dynamics of Information and Interaction . Cambridge University Press . Johan van Benthem. 2011. Logical Dynamics of Information and Interaction. Cambridge University Press."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9209-y"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/1225970.1225972"},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the 10th Conference on Advances in Modal Logic. 158--177","author":"van Eijck Jan","year":"2014","unstructured":"Jan van Eijck and Fran\u00e7ois Schwarzentruber . 2014 . Epistemic probability logic simplified . In Proceedings of the 10th Conference on Advances in Modal Logic. 158--177 . Retrieved from: http:\/\/www.aiml.net\/volumes\/volume10\/Eijck-Schwarzentruber.pdf. Jan van Eijck and Fran\u00e7ois Schwarzentruber. 2014. Epistemic probability logic simplified. In Proceedings of the 10th Conference on Advances in Modal Logic. 158--177. Retrieved from: http:\/\/www.aiml.net\/volumes\/volume10\/Eijck-Schwarzentruber.pdf."},{"key":"e_1_2_1_43_1","volume-title":"Issue I Supplement","author":"Wang Yanjing","year":"2013","unstructured":"Yanjing Wang and Qinxiang Cao . 2013. On axiomatizations of public announcement logic. Synthese 190 , Issue I Supplement ( 2013 ), 103--104. Yanjing Wang and Qinxiang Cao. 2013. On axiomatizations of public announcement logic. Synthese 190, Issue I Supplement (2013), 103--104."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1082637807"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341725","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341725","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:24Z","timestamp":1750207404000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341725"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,21]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,10,31]]}},"alternative-id":["10.1145\/3341725"],"URL":"https:\/\/doi.org\/10.1145\/3341725","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2019,8,21]]},"assertion":[{"value":"2018-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}