{"entities":{"Q859825":{"pageid":861673,"ns":120,"title":"Item:Q859825","lastrevid":64890417,"modified":"2026-04-11T22:54:41Z","type":"item","id":"Q859825","labels":{"en":{"language":"en","value":"Logics of communication and change"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117642"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$95F70437-D019-4F43-9689-A0D56CDE1554","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf08fe7f61cb5f398fe974f7fc8ff1bd5b7f717d","datavalue":{"value":{"text":"Logics of communication and change","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q859825$FBB644E6-1B1E-4577-B79C-93BF2995BFFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5938ee7c88595eaf2009b8efa4f00a88a8492461","datavalue":{"value":"1120.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859825$4A310DFC-557B-4B46-8D0F-4CD84DDE0C60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d30f3a2f26d23423d765b4d1925d27a0413ee3","datavalue":{"value":{"entity-type":"item","numeric-id":195248,"id":"Q195248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$ED922FEC-FE52-4E3D-92DB-5670C0EE8D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$1906AA82-1E6E-4FB9-A770-BF0B36B941DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad8a4a4842ce7e9395fec03d07820d80de9ff9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1403402,"id":"Q1403402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$1D2C12AA-FFB1-4005-92DA-79DFE035986C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$559E6189-7BDE-4884-9426-3B20F2F3B58B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8717bd621ac828fb200d97d6d2f52c061cac920b","datavalue":{"value":{"time":"+2007-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q859825$04E1E7C6-E6FB-4AEA-AADD-141CE528539F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de5c41b1b8d413675480059a670c742a9fb1e0af","datavalue":{"value":"https://pure.rug.nl/ws/files/6701222/sdarticle.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q859825$50285E6B-4BCB-4F14-832C-A11B000FF425","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f2218c5189c9d80f99458c4fc698d1b16778c92","datavalue":{"value":"The paper under review studies dynamic epistemic logics which allow for compositional analysis of the epistemic effects of informational events. Technically this means that the logics under consideration can be characterized by so-called reduction axioms. Such systems have simple completeness proofs since for every formula with announcement operators there is an equivalent formula without announcement operators.  In the first part of the paper the notion of relativized common knowledge is introduced and completeness of a corresponding system EL-RC is shown by a canonical model construction. Adding a new modal operator for public announcements and corresponding reduction axioms yields the system PAL-RC, which is equivalent to EL-RC. However, PAL-RC is more expressive than PAL-C (which is PAL-RC where relativized common knowledge is replaced by the usual common knowledge operator). This is shown using a new variant of Ehrenfeucht games.  In the second part a much richer logic, called logic of communication and change (LCC), is introduced. The static base of this logic is PDL, interpreted epistemically. This framework can also deal with factual change, making use of a notion of model update based on substitutions that change the values of some propositional letters. The authors illustrate the power of LCC by analyzing complex information scenarios like sending successive emails with both `cc' and `bcc' lines. Still, LCC can be reduced to PDL. The proof uses the idea behind Kleene's Theorem for regular languages and finite automata.","type":"string"},"datatype":"string"},"type":"statement","id":"Q859825$68C46A8E-17C6-4FD9-ACED-C060560F1016","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5399c0e6c1a86c6c28134f8ba8886948fee3319b","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$A131A993-AF8A-425B-996F-8D0D3381B3E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859825$ADC4BCF4-503C-4B8A-B196-7F638A2B725B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c95f12776a9b1ef602cde208b55662a555c1dbda","datavalue":{"value":"5117642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859825$08828F08-D31B-4D4C-A890-5D7D4F498A79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b077eb71cce717ee02f0597de0e775408a87e30f","datavalue":{"value":"epistemic dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q859825$A7949CC2-E915-48BE-98F3-3D024DBFFC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b028030d3bcf322b41a234ee83c448daec76d66","datavalue":{"value":"relativized common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q859825$CC2F3E3D-8DBE-4BDA-89FC-4DB1BA32160C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b04eb09bb34dbc14f36870cb6a8166f976b44eaf","datavalue":{"value":"product update","type":"string"},"datatype":"string"},"type":"statement","id":"Q859825$2A23F8A0-5334-4EEB-9E91-C70836FD0DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70a35bc69e124e1c7b10863bfea51216385aa90","datavalue":{"value":"Kleene's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q859825$0A90CE7D-23A8-4E7D-A06F-39B19FCECEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ed1ba4a6a45ef442fb34727ac48c601792c2241","datavalue":{"value":"Ehrenfeucht games","type":"string"},"datatype":"string"},"type":"statement","id":"Q859825$E7F71E4A-98FE-48E5-BEA5-4FD9CA045BF6","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$4E088BFA-2314-4FA0-B6FA-1681B72DA188","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a576f65d763c32d36d0e048b63c3c138d3e236e5","datavalue":{"value":"W4213255959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859825$94D502B1-ECE3-42A3-8FF1-0679B4309B8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$12BCA526-5C0A-4CFD-AFB0-2E9DC61D5741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$07216BDE-A4F8-4B1F-BD52-CC20589C1025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6082a43925829be0041ef4d2be535b8ea6ec2e01","datavalue":{"value":{"entity-type":"item","numeric-id":375313,"id":"Q375313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$435D419F-4F93-4356-97DA-66CEE666CCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$07E91233-3A72-416C-92BE-137F569ECEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$034AE8F7-91C3-4DB5-B8CC-79E8A827515B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$074583A3-D75D-4A16-9262-466975065C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b358e960c9fa8ab3d484400993238ee2020554","datavalue":{"value":{"entity-type":"item","numeric-id":5839933,"id":"Q5839933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$B6C0D521-A392-45F0-8DF5-DB2ADB830A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f28db7f96068e5ce3938c306e6d15e9aefa614","datavalue":{"value":{"entity-type":"item","numeric-id":3915990,"id":"Q3915990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$1656A831-AE57-4E17-98F0-31B83A3B6007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$FB24CAEA-2094-427F-ADCE-57B16070A54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f695eea8fe808f6184de18b043277613aef09c07","datavalue":{"value":{"entity-type":"item","numeric-id":2574887,"id":"Q2574887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$F9EFFB0B-EE09-421F-8CC7-509E5CAABB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aacca35fa42fa3506555849bf0261505efea805","datavalue":{"value":{"entity-type":"item","numeric-id":3218103,"id":"Q3218103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$D4788FE0-1A4E-4BAF-91CC-7FBF7E0BC476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c448169401b2aabe251045d57dd89c77157e867c","datavalue":{"value":{"entity-type":"item","numeric-id":1403408,"id":"Q1403408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859825$05D1A7C2-0A64-4165-9EF1-849A0A8696F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aded247613a7a566af48bfc0808662fc60da6b3c","datavalue":{"value":"10.1016/J.IC.2006.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859825$71E8B9B8-475F-4B4B-8ADC-388CA84DADD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1f3b972adfafb75dd71e04d766ef49f59f519f","datavalue":{"value":{"entity-type":"item","numeric-id":5215817,"id":"Q5215817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e48b24e40443ca91283611f4e44dd9399b9a6c3","datavalue":{"value":{"amount":"+0.901579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859825$16382D96-78A9-44AF-81DF-9E8A054368F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916c64ffecbe614d53fb4b6f1874f9ae8c984465","datavalue":{"value":{"entity-type":"item","numeric-id":2460188,"id":"Q2460188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1cad867a5374e030f0202f7b9baa47dcac0ff7","datavalue":{"value":{"amount":"+0.8894013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859825$E4256C07-9AB3-4D7F-A25A-ADA179D1BDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2445e017a5d16ba5289efae61647b58520184678","datavalue":{"value":{"entity-type":"item","numeric-id":3558467,"id":"Q3558467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d812414870241c60e2a282194726d82a909e81","datavalue":{"value":{"amount":"+0.8868018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859825$187DC19D-7BD2-4C67-AF48-CAF2D181B9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab129765d03ce31d48190dbebadf574eaa8114df","datavalue":{"value":{"entity-type":"item","numeric-id":1823927,"id":"Q1823927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d75c310579e0d03a34d6f6a716a569fdb70141","datavalue":{"value":{"amount":"+0.8714423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859825$A074B0AC-D1E9-4C4D-9DC7-D41071ED441A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c8d83562aae56ac3d4552ae92b60fa6d8cddd0","datavalue":{"value":{"entity-type":"item","numeric-id":2460186,"id":"Q2460186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe0bc29040a549203ebb7fd6e5b8e0832e6222c","datavalue":{"value":{"amount":"+0.84940505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859825$EB6290D9-4FF5-43DC-97FE-8A2568B0B214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0643b632a0ed055498dcb543431d7ff8d7d5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":5283800,"id":"Q5283800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500ca27ad5025ce82a2fd44b81deb3224ee2e16e","datavalue":{"value":{"amount":"+0.83983445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859825$2D3E1B94-7180-4FC8-A4BE-B80410F4254A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc75f588b935a83a3e87a73e9db29136cbc3d4d","datavalue":{"value":{"entity-type":"item","numeric-id":970093,"id":"Q970093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0e67889e7ca0fdeb937ddea673911ae07ec390","datavalue":{"value":{"amount":"+0.83678675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859825$34F6BD83-F6CC-456D-8287-C860F51A5792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac80247128ed71f61f012ddc577586680f61175","datavalue":{"value":{"entity-type":"item","numeric-id":5417809,"id":"Q5417809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2610a0c927b70e348d77aff27f592e68dd30708","datavalue":{"value":{"amount":"+0.83490586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q859825$A08C9CA5-FA89-4ACB-A1AE-E51F66F62103","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics of communication and change","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_of_communication_and_change"}}}}}