{"entities":{"Q813422":{"pageid":815270,"ns":120,"title":"Item:Q813422","lastrevid":64533093,"modified":"2026-04-11T20:31:31Z","type":"item","id":"Q813422","labels":{"en":{"language":"en","value":"Prolegomena to dynamic logic for belief revision"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5005193"}},"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":"Q813422$29FB58D1-360A-4456-936A-6B50E93141B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40140bb2591f0b99a6e6a5e512c90267f79109a7","datavalue":{"value":{"text":"Prolegomena to dynamic logic for belief revision","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q813422$F122C4B9-B9AB-46C0-A07A-77228D21A0CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0955a4e04e348ae3b247bb964ad7c01937ca61f8","datavalue":{"value":"1082.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813422$82D40A01-FF7E-475C-852B-6811FD4376A1","rank":"normal"}],"P16":[{"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":"Q813422$93E3F07E-8281-4651-BDE7-1F3297138634","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$C201EAD2-A9F9-448B-992A-DB637406C5D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q813422$9F985EDC-9017-4F09-9608-7F6390B701DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a584f5cef9195cbba53b9ca25d203e8ee7e76e87","datavalue":{"value":"The author describes this paper as prolegomena in the sense of providing a `sound semantic foundation\\dots before starting the real work' of detailed analysis of belief revision. As is customary in epistemic and dynamic logics, and in contrast with the AGM approach to belief change, modal operators for belief and knowledge are brought into the object language (to define the notion of an epistemic state), and dynamic modal operators are also placed in the object language (to pass from one state to another).  The paper builds on earlier work viewing belief revision from the perspective of dynamic logic, for example that of \\textit{K. Segerberg} [``Two traditions in the logic of belief: bringing them together'', Trends Log. Stud. Log. Libr. 5, 135--147 (1999; Zbl 0957.03023)]; and the author's constructions are closely related to those of \\textit{O. Board} [``Dynamic interactive epistemology'', Games Econ. Behav. 49, 49--80 (2004; Zbl 1068.91071)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q813422$E3F48F92-7DF7-4081-A9E7-C7EA4D0BBB5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813422$2EDE3B0A-C9F1-4C70-93F8-40D29FB21B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813422$C4038AD2-A35E-4987-AB1A-4FC8F60BB5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813422$A37F587A-DF09-4EF5-B452-B427095CA257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e4aa57554f0bf480962b3a126e89b38a1701642","datavalue":{"value":"5005193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813422$4CE6FD65-043E-4936-A5A6-F1287ECEA321","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q813422$6652FD6F-7494-498B-B6FA-A4650272FE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q813422$732EC0C8-DAB9-4671-B11B-899879068DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q813422$A254324E-EA17-4847-8E41-8F46AC0B9523","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$783C1897-99D9-4D8D-8F2D-4665DA2E314F","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":"Q813422$102E0F5D-8F4C-4202-84C9-B45F6667C51C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0acb647ccc003cda50e4b83a3cc3b42d79b48dbc","datavalue":{"value":"https://doi.org/10.1007/s11229-005-1349-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q813422$60C109D2-6784-4B93-AD11-AD17127ACF5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c45ac108f80cfe452264979ab483da033b88fd01","datavalue":{"value":"W2058814709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813422$7CD7EE35-195E-4C04-AAA1-4B58E31FAB33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$32AA26D5-C699-4060-9E7B-5B843F0370B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47da3dd92a8a23f288c8011d00804f40e59b8d9","datavalue":{"value":{"entity-type":"item","numeric-id":5316670,"id":"Q5316670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$38D7B6C6-DE2B-4BAC-AA0B-8A101257ED54","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":"Q813422$FB6292CC-2FF3-40E8-9970-FDC2DF2D7EED","rank":"normal"},{"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":"Q813422$F0786CCA-9B2A-4DA5-A392-C69103154470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3a881cefa9c635193f959826b67e8a1993246b","datavalue":{"value":{"entity-type":"item","numeric-id":1886744,"id":"Q1886744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$21B34310-0B16-4E26-A0F6-B0A8E477B22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3f6ebd4716bf2f769744096e4ebf67b0f6c54c","datavalue":{"value":{"entity-type":"item","numeric-id":813420,"id":"Q813420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$32F32C3D-893A-45EF-B658-2BDD205EFDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10819b2a998466653ca70b0f2038b994277adbd4","datavalue":{"value":{"entity-type":"item","numeric-id":5920620,"id":"Q5920620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$544EC5C4-8D80-49F5-9A34-EA998659BBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17346a948e93ca0127d7c9f941e453c6f4645fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1399119,"id":"Q1399119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$9B811B35-367A-43ED-BD4A-993D54959058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1746b7f2a2d51c5e1115b39f6dc3c5e33e40ab59","datavalue":{"value":{"entity-type":"item","numeric-id":1357672,"id":"Q1357672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$492D116C-CAF0-45E8-8C4F-568CD29573C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b8fe49b3cccec1632b53b1b50ed0fe903f8693","datavalue":{"value":{"entity-type":"item","numeric-id":1100194,"id":"Q1100194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$5AA9BB52-423C-423A-8993-681F9A68328B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8ba31a98caa67e9c89598ddec89cc658037d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4779587,"id":"Q4779587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$694D2324-A4EC-44EB-99DF-3681CCA3F19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$392EC922-65BC-4BC7-B1C6-6781AF7ED9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e6597bf1fe36fdc7129f13ee9bfe376d45529e7","datavalue":{"value":{"entity-type":"item","numeric-id":4661968,"id":"Q4661968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$877F7853-1816-47BE-850D-89D7334A5E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb076f437fdcb3446684368825433d0979ce9b8","datavalue":{"value":{"entity-type":"item","numeric-id":1583791,"id":"Q1583791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$0FC30B15-4F14-4646-8B80-5F3BDA70A6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f009c18f8c45378f28698e6077bc967bc547d06","datavalue":{"value":{"entity-type":"item","numeric-id":5943016,"id":"Q5943016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$A9559C41-D079-47B7-9DC1-17356EC5741B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11df1f7f6e742127295954c363a0415acdcdd787","datavalue":{"value":{"entity-type":"item","numeric-id":1973931,"id":"Q1973931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$593318E5-1A71-49EB-B142-7A9E0F311335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d95d58af5ba1dcab4dcd26755bcea70cd06475d","datavalue":{"value":{"entity-type":"item","numeric-id":1087024,"id":"Q1087024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$24B907C2-58A9-4592-9AFB-C2A467A6AA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff5891838c29dfbdab9e3adebb22688dd784d47","datavalue":{"value":{"entity-type":"item","numeric-id":1583790,"id":"Q1583790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$CA40CC85-B250-40D6-B929-F5E049C35A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$936725A0-4BEB-42E0-9014-3EDD023487AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ff05f69376eb15fc4403bddc622e83cfb031a6","datavalue":{"value":{"entity-type":"item","numeric-id":1610628,"id":"Q1610628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$5F380290-291E-46C5-A0B3-96C5402E8209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965dc62675dd4d59ba6269a9b5271fedaaad31ec","datavalue":{"value":{"entity-type":"item","numeric-id":857682,"id":"Q857682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$398E8C4B-4530-4103-91E2-37750D511174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66dc2be2dcd421b6f11095ffa4a1f61767c72eec","datavalue":{"value":{"entity-type":"item","numeric-id":5483016,"id":"Q5483016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813422$0FAD155C-E15B-49F2-B686-47589F086E06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"806a1a54b2dc2d98de5b336bdc335c7940e67989","datavalue":{"value":"10.1007/S11229-005-1349-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813422$F6887F82-4694-4551-9BCF-AA92F6342EBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbd4a9a4361641a8fc789e920199a871ccec292","datavalue":{"value":{"entity-type":"item","numeric-id":3647267,"id":"Q3647267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d934162c63087011b4a7480368d4de735e5cc265","datavalue":{"value":{"amount":"+0.8651959300041199","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":"Q813422$AB69A362-BFEE-487F-BC7F-874BBB944729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bff1a2f11f3233afdb93997d32348e5e91c81e","datavalue":{"value":{"entity-type":"item","numeric-id":5249671,"id":"Q5249671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3577a58edd8a1475613a381360735e670c04f4c","datavalue":{"value":{"amount":"+0.8426164984703064","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":"Q813422$BEAC2E3B-7F06-45E2-8ACB-4F782D60C154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fef0e23ac67af677d0b3e71289cd83cd9d1258e","datavalue":{"value":{"entity-type":"item","numeric-id":4648827,"id":"Q4648827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a13ef23722e0c85ff2801e7fa59e8114299cfaf","datavalue":{"value":{"amount":"+0.8401434421539307","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":"Q813422$A2CA6F06-A4D8-499F-895B-DBB6C002042C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd5f7956294bb5aa8eb0541cbca6c1a3673a3b5","datavalue":{"value":{"entity-type":"item","numeric-id":2971702,"id":"Q2971702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759fdad2304d124cc8672b803d828d482c3bb735","datavalue":{"value":{"amount":"+0.8379096984863281","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":"Q813422$C3D92D2C-E207-4B92-BD58-DC720B43B06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90d402756f974e0a3030b7688f494a83b3f2d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4847368,"id":"Q4847368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35119280b11ec6982e98a9bfcbd29aee78483d7","datavalue":{"value":{"amount":"+0.8258562088012695","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":"Q813422$68FD5808-B438-49E7-88CC-5584A9C4662B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Prolegomena to dynamic logic for belief revision","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Prolegomena_to_dynamic_logic_for_belief_revision"}}}}}