{"entities":{"Q953926":{"pageid":955774,"ns":120,"title":"Item:Q953926","lastrevid":50489003,"modified":"2026-01-14T04:47:31Z","type":"item","id":"Q953926","labels":{"en":{"language":"en","value":"Dynamic epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5363207"}},"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":"Q953926$47850C99-F1CE-479C-B8ED-55F2C7E4D20A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5acfdf6129f88f61d2f0134a29b0568990c4a963","datavalue":{"value":{"text":"Dynamic epistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q953926$9249CF2D-7BF3-4C7F-9569-88AA438F0381","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a67fb255880ade9432ea107547b6bf56988acc2b","datavalue":{"value":"1156.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953926$B818C28A-0328-4437-86C9-13421F537C58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81cb7e11db1cd1737168ecc2346a7195cd440a82","datavalue":{"value":"10.1007/978-1-4020-5839-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953926$1F35995E-B039-4E63-934D-0C5062A0FCBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"768ccadf9be517eb9c9fb5c80670a4e733cc36e0","datavalue":{"value":{"entity-type":"item","numeric-id":343910,"id":"Q343910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953926$946A3E94-4630-4DB0-9A57-BC504F28B33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953926$7831C92D-5A3D-4213-80B5-60F1FCDD4FA6","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":"Q953926$052AF392-8398-4540-A51F-2AC93A90DB45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a1cc4e398eb5d81a21b68eacc416647ae411adda","datavalue":{"value":{"entity-type":"item","numeric-id":163447,"id":"Q163447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953926$D0267918-B833-415D-A3E9-CF7D19C24ED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e90cc1add01c937d3fdadca14fa11a9e3045b34e","datavalue":{"value":{"time":"+2008-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q953926$33B59CDC-60D9-47E0-925C-184284A7F19D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a5661693077a2b69d97aeb7bcc61194243db3cb","datavalue":{"value":"This is an excellent and much needed introduction to recent advances in the logic of knowledge change. The book consists of 8 chapters, the first of which gives a brief introduction. Chapter 2 introduces epistemic logic both semantically (by means of Kripke structures) and syntactically (by means of modal logic). Group notions of knowledge, in particular common knowledge, are also discussed. Chapter 3 deals with the AGM approach to belief revision. Chapter 4 gives a comprehensive account of a logic of knowledge with dynamic operators for truthful public announcements. Chapter 5 proceeds to a generalization of public announcement logic to more complex epistemic actions, while Chapter 6 is devoted to the action model approach to describing epistemic actions. Chapter 7 contains the proofs of completeness for the logics introduced in Chapters 2, 4 and 6. Chapter 8 discusses various results on the expressive power of the logics presented in the previous chapters. An attractive feature of this book is the multitude of illustrative examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q953926$78C526B6-D65B-498C-9705-6D352F20D374","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c82436212510eb3fd57a05c9debac7e41dff5f00","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953926$C0C6639E-4BA0-4CB5-859D-B56CCFEC763E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953926$FCD72E35-6AE8-41DB-A805-0267F18B1014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953926$03E70B7E-1B14-45DC-B808-CBB3D9805362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953926$D48712B1-57B7-41B7-9F50-C82F98EFC406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953926$EED382F9-BE4F-42AF-93D3-724911568550","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4467be717eb285f7d39ac211f872bead7a4cccd0","datavalue":{"value":"5363207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953926$851A85D9-8DAD-4AD0-BF5A-32F72E309A85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q953926$7BA68D8A-7000-486B-B8E1-7E755D228740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f546723443d5b126386a19433554e73cd6ad7a","datavalue":{"value":"belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q953926$FCD970E2-7EE1-4667-9C6C-65061DAD0BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q953926$EA47A839-785F-4F69-83A0-E1CA3560513B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q953926$2F8497CE-F128-4381-A392-4E704F624F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e9bb55aa15ae014af9e4cb87c22806c5aa2f6da","datavalue":{"value":"knowledge change","type":"string"},"datatype":"string"},"type":"statement","id":"Q953926$3BC682B3-E836-42E8-B3F3-6C9E7503BA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc56067f4f92b9328751d6adb4202612cf149c08","datavalue":{"value":"public announcement","type":"string"},"datatype":"string"},"type":"statement","id":"Q953926$70C4518B-88C7-4B71-8549-0F15C21DC3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6eaceb3c3d9dd3c15bb339405c9c9aed38e70a","datavalue":{"value":"common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q953926$75BF56CD-168B-430D-AF03-B242D0B44F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q953926$3305E2BB-5B99-43AA-B65B-2B6CEB1EEFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"418aa9467dade11737f711c082b5156d9159554b","datavalue":{"value":"doxastic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q953926$C080525C-D665-4F12-80B5-AEEF8495A220","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":"Q953926$5EC3A188-B1CE-42BA-B208-2E198848F1BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cea77f36cc63ba6ef9c79ed5f8c597078f427383","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-5839-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q953926$A0C8329F-4FF0-42C9-9461-B4245962C81A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"031e9858ec59e7ea6682bbd8a86264f4756ec5e3","datavalue":{"value":"W2159131252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953926$5EDC602B-1CE8-4150-BE43-3A596B9F90AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e60cb15564e1ebaa8c7a15981a6187952abc7c0","datavalue":{"value":{"entity-type":"item","numeric-id":5249670,"id":"Q5249670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8365ab35e80604a52acfad88b87841971e33ca","datavalue":{"value":{"amount":"+0.8502034544944763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953926$D62CDAE5-0538-48B3-A7E5-2817423737BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96001cc2a6171f9c36554272d41877ac0ea5f6b0","datavalue":{"value":{"entity-type":"item","numeric-id":4518805,"id":"Q4518805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ae7a75964ad1dd04a224ee43be9655c9cf84c9","datavalue":{"value":{"amount":"+0.8443552851676941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953926$4B37D7CF-132B-4E76-A177-0FD6FD1A1609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7d0319005870a86b8586c6df8c114b880addbd","datavalue":{"value":{"entity-type":"item","numeric-id":1742621,"id":"Q1742621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ae7a75964ad1dd04a224ee43be9655c9cf84c9","datavalue":{"value":{"amount":"+0.8443552851676941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953926$686A266A-09EB-445D-9ADD-C95D6E444D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de0b392c571e7ce81c64d7881aa71ca767009a4","datavalue":{"value":{"entity-type":"item","numeric-id":4586238,"id":"Q4586238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9090fccbd5d98d9f06deb4a4788371e9de9d4900","datavalue":{"value":{"amount":"+0.820942759513855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953926$A17A5E86-F03B-43FB-8D8D-76669FF6B1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dffe10fb30721b3e776e0eef54f6ea1dfc22de1e","datavalue":{"value":{"entity-type":"item","numeric-id":5434529,"id":"Q5434529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f0190520fa2743f61ff31ee964056053f299867","datavalue":{"value":{"amount":"+0.8137984275817871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953926$42B4A142-51A7-42A6-9B49-34295D3A2225","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:953926","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:953926"}}}}}