{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T04:55:44Z","timestamp":1764305744820,"version":"3.44.0"},"reference-count":47,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1016\/j.apal.2020.102790","type":"journal-article","created":{"date-parts":[[2020,2,13]],"date-time":"2020-02-13T21:22:01Z","timestamp":1581628921000},"page":"102790","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":4,"title":["Bilattice logic of epistemic actions and knowledge"],"prefix":"10.1016","volume":"171","author":[{"given":"Zeinab","family":"Bakhtiari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"van Ditmarsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umberto","family":"Rivieccio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/j.apal.2020.102790_br0010","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","article-title":"Reasoning with logical bilattices","volume":"5","author":"Arieli","year":"1996","journal-title":"J. Log. Lang. Inf."},{"issue":"1","key":"10.1016\/j.apal.2020.102790_br0020","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","article-title":"The value of the four values","volume":"102","author":"Arieli","year":"1998","journal-title":"Artif. Intell."},{"key":"10.1016\/j.apal.2020.102790_br0030","doi-asserted-by":"crossref","first-page":"1236","DOI":"10.1214\/aos\/1176343654","article-title":"Agreeing to disagree","volume":"4","author":"Aumann","year":"1976","journal-title":"Ann. Stat."},{"key":"10.1016\/j.apal.2020.102790_br0040","series-title":"Proc. of 9th Interactive Theorem Proving","first-page":"48","article-title":"Software tool support for modular reasoning in modal logics of actions","volume":"vol. 10895","author":"Balco","year":"2018"},{"key":"10.1016\/j.apal.2020.102790_br0050","series-title":"Proc. of 7th TARK","first-page":"43","article-title":"The logic of public announcements, common knowledge, and private suspicions","author":"Baltag","year":"1998"},{"key":"10.1016\/j.apal.2020.102790_br0060","series-title":"Contemporary Aspects of Philosophy","article-title":"How a computer should think","author":"Belnap","year":"1977"},{"key":"10.1016\/j.apal.2020.102790_br0070","series-title":"Modern Uses of Multiple-Valued Logic","first-page":"5","article-title":"A useful four-valued logic","author":"Belnap","year":"1977"},{"issue":"5","key":"10.1016\/j.apal.2020.102790_br0080","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1093\/logcom\/exp062","article-title":"On the minimum many-valued modal logic over a finite residuated lattice","volume":"21","author":"Bou","year":"2011","journal-title":"J. Log. Comput."},{"key":"10.1016\/j.apal.2020.102790_br0090","series-title":"Proc. of 16th IPMU","first-page":"108","article-title":"\u0141ukasiewicz public announcement logic","author":"Cabrer","year":"2016"},{"year":"1997","series-title":"Modal Logic","author":"Chargov","key":"10.1016\/j.apal.2020.102790_br0100"},{"year":"1988","series-title":"Reasoning with Incomplete Information","author":"Etherington","key":"10.1016\/j.apal.2020.102790_br0110"},{"issue":"1","key":"10.1016\/j.apal.2020.102790_br0120","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","article-title":"Belief, awareness, and limited reasoning","volume":"34","author":"Fagin","year":"1988","journal-title":"Artif. Intell."},{"issue":"3","key":"10.1016\/j.apal.2020.102790_br0130","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00274066","article-title":"Bilattices and the theory of truth","volume":"18","author":"Fitting","year":"1989","journal-title":"J. Philos. Log."},{"issue":"2","key":"10.1016\/j.apal.2020.102790_br0140","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","article-title":"Bilattices and the semantics of logic programming","volume":"11","author":"Fitting","year":"1991","journal-title":"J. Log. Program."},{"key":"10.1016\/j.apal.2020.102790_br0150","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","article-title":"Many-valued modal logics","volume":"15","author":"Fitting","year":"1992","journal-title":"Fundam. Inform."},{"issue":"1\u20132","key":"10.1016\/j.apal.2020.102790_br0160","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","article-title":"Many-valued modal logics II","volume":"17","author":"Fitting","year":"1992","journal-title":"Fundam. Inform."},{"key":"10.1016\/j.apal.2020.102790_br0170","series-title":"Self-Reference","article-title":"Bilattices are nice things","author":"Fitting","year":"2006"},{"key":"10.1016\/j.apal.2020.102790_br0180","article-title":"A proof-theoretic semantic analysis of dynamic epistemic logic","author":"Frittella","year":"2014","journal-title":"J. Log. Comput."},{"issue":"6","key":"10.1016\/j.apal.2020.102790_br0190","doi-asserted-by":"crossref","first-page":"2017","DOI":"10.1093\/logcom\/exu068","article-title":"Multi-type display calculus for dynamic epistemic logic","volume":"26","author":"Frittella","year":"2016","journal-title":"J. Log. Comput."},{"issue":"6","key":"10.1016\/j.apal.2020.102790_br0200","doi-asserted-by":"crossref","first-page":"1961","DOI":"10.1093\/logcom\/exu063","article-title":"A proof-theoretic semantic analysis of dynamic epistemic logic","volume":"26","author":"Frittella","year":"2016","journal-title":"J. Log. Comput."},{"key":"10.1016\/j.apal.2020.102790_br0210","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008222603071","article-title":"Reasoning about information change","volume":"6","author":"Gerbrandy","year":"1997","journal-title":"J. Log. Lang. Inf."},{"issue":"3","key":"10.1016\/j.apal.2020.102790_br0220","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","article-title":"Multivalued logics: a uniform approach to reasoning in artificial intelligence","volume":"4","author":"Ginsberg","year":"1988","journal-title":"Comput. Intell."},{"issue":"3","key":"10.1016\/j.apal.2020.102790_br0230","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","article-title":"Varieties of complex algebras","volume":"44","author":"Goldblatt","year":"1989","journal-title":"Ann. Pure Appl. Log."},{"key":"10.1016\/j.apal.2020.102790_br0240","series-title":"Proc. of 24th WoLLIC","first-page":"153","article-title":"Lattice logic properly displayed","volume":"vol. 10388","author":"Greco","year":"2017"},{"key":"10.1016\/j.apal.2020.102790_br0250","series-title":"Handbook of Logic and Language","first-page":"1055","article-title":"Questions","author":"Groenendijk","year":"1997"},{"issue":"3","key":"10.1016\/j.apal.2020.102790_br0260","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/79147.79161","article-title":"Knowledge and common knowledge in a distributed environment","volume":"37","author":"Halpern","year":"1990","journal-title":"J. ACM"},{"issue":"3","key":"10.1016\/j.apal.2020.102790_br0270","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1145\/146637.146638","article-title":"A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols","volume":"39","author":"Halpern","year":"1992","journal-title":"J. ACM"},{"key":"10.1016\/j.apal.2020.102790_br0280","series-title":"Proc. of 28th LICS","first-page":"438","article-title":"Kripke semantics for modal bilattice logic","author":"Jung","year":"2013"},{"key":"10.1016\/j.apal.2020.102790_br0290","first-page":"17","article-title":"Epistemic updates on algebras","volume":"4","author":"Kurz","year":"2013","journal-title":"Log. Methods Comput. Sci."},{"key":"10.1016\/j.apal.2020.102790_br0300","series-title":"Proc. of the 10th IJCAI","first-page":"402","article-title":"Tractable meta-reasoning in propositional logics of belief","author":"Lakemeyer","year":"1987"},{"key":"10.1016\/j.apal.2020.102790_br0310","series-title":"Proc. of 4th AAAI","first-page":"198","article-title":"A logic of implicit and explicit belief","author":"Levesque","year":"1984"},{"issue":"4","key":"10.1016\/j.apal.2020.102790_br0320","doi-asserted-by":"crossref","first-page":"963","DOI":"10.1016\/j.apal.2013.11.004","article-title":"Algebraic semantics and model completeness for intuitionistic public announcement logic","volume":"165","author":"Ma","year":"2014","journal-title":"Ann. Pure Appl. Log."},{"key":"10.1016\/j.apal.2020.102790_br0330","series-title":"The Philosophy of G.E. Moore","first-page":"535","article-title":"A reply to my critics","volume":"vol. 4","author":"Moore","year":"1942"},{"key":"10.1016\/j.apal.2020.102790_br0340","series-title":"Handbook of Epistemic Logic","first-page":"261","article-title":"Dynamic epistemic logic","author":"Moss","year":"2015"},{"issue":"1","key":"10.1016\/j.apal.2020.102790_br0350","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1023\/A:1014369623998","article-title":"Bilattices and the semantics of natural language questions","volume":"25","author":"Nelken","year":"2002","journal-title":"Linguist. Philos."},{"issue":"3","key":"10.1016\/j.apal.2020.102790_br0360","doi-asserted-by":"crossref","first-page":"279","DOI":"10.3166\/jancl.20.279-304","article-title":"Modal logics with Belnapian truth values","volume":"20","author":"Odintsov","year":"2010","journal-title":"J. Appl. Non-Class. Log."},{"issue":"2","key":"10.1016\/j.apal.2020.102790_br0370","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0269888900004884","article-title":"Logics for reasoning about knowledge and belief","volume":"4","author":"Reichgelt","year":"1989","journal-title":"Knowl. Eng. Rev."},{"key":"10.1016\/j.apal.2020.102790_br0380","series-title":"Proceedings of Trends in Logic XIII","first-page":"199","article-title":"Algebraic semantics for bilattice public announcement logic","author":"Rivieccio","year":"2014"},{"key":"10.1016\/j.apal.2020.102790_br0390","first-page":"459","article-title":"Bilattice public announcement logic","volume":"vol. 10","author":"Rivieccio","year":"2014"},{"issue":"1","key":"10.1016\/j.apal.2020.102790_br0400","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1093\/logcom\/exv038","article-title":"Four-valued modal logic: Kripke semantics and duality","volume":"27","author":"Rivieccio","year":"2017","journal-title":"J. Log. Comput."},{"key":"10.1016\/j.apal.2020.102790_br0410","series-title":"Proc. of Dynamic Logic, New Trends and Applications (DALI)","first-page":"64","article-title":"A dynamic informational-epistemic logic","volume":"vol. 10669","author":"Santos","year":"2018"},{"key":"10.1016\/j.apal.2020.102790_br0420","series-title":"International Symposium on Methodologies for Intelligent Systems","first-page":"594","article-title":"Beliefs and bilattices","author":"Sim","year":"1994"},{"issue":"1","key":"10.1016\/j.apal.2020.102790_br0430","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1002\/(SICI)1098-111X(199701)12:1<57::AID-INT3>3.0.CO;2-X","article-title":"Epistemic logic and logical omniscience: a survey","volume":"12","author":"Sim","year":"1997","journal-title":"Int. J. Intell. Syst."},{"issue":"2","key":"10.1016\/j.apal.2020.102790_br0440","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1111\/j.1755-2567.2011.01119.x","article-title":"Everything is knowable \u2013 how to get to know whether a proposition is true","volume":"78","author":"van Ditmarsch Wiebe van der Hoek","year":"2012","journal-title":"Theoria"},{"key":"10.1016\/j.apal.2020.102790_br0450","article-title":"Dynamic Epistemic Logic","volume":"vol. 337","author":"van Ditmarsch","year":"2008"},{"key":"10.1016\/j.apal.2020.102790_br0460","series-title":"Proc. of the 1st TARK","first-page":"293","article-title":"On epistemic logic and logical omniscience","author":"Vardi","year":"1986"},{"issue":"1 Supp.","key":"10.1016\/j.apal.2020.102790_br0470","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s11229-012-0233-5","article-title":"On axiomatizations of public announcement logic","author":"Wang","year":"2013","journal-title":"Synthese"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007220300142?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007220300142?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T10:11:59Z","timestamp":1759140719000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007220300142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6]]},"references-count":47,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["S0168007220300142"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2020.102790","relation":{},"ISSN":["0168-0072"],"issn-type":[{"type":"print","value":"0168-0072"}],"subject":[],"published":{"date-parts":[[2020,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Bilattice logic of epistemic actions and knowledge","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.apal.2020.102790","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2020 Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"102790"}}