{"entities":{"Q813420":{"pageid":815268,"ns":120,"title":"Item:Q813420","lastrevid":64533084,"modified":"2026-04-11T20:31:30Z","type":"item","id":"Q813420","labels":{"en":{"language":"en","value":"A simple modal logic for belief revision"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5005192"}},"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":"Q813420$8B66C1FA-2F96-4DFB-AEAB-8BB735BE3AD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a042be51472ffe2c8e45f42ff5550a5921311ac2","datavalue":{"value":{"text":"A simple modal logic for belief revision","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q813420$68D85384-BCFC-4B5E-BAB9-050E8F2F582B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"184468bbf849dd1dcb0c12212e939a923ccc20d2","datavalue":{"value":"1085.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813420$7A2427B4-5D42-4612-B78C-9032321F32D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb53f24d617843aca5185d782f1b6233ac186c7","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$643DA15A-AD04-495A-A5DC-960BDA2ECDAD","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":"Q813420$FD670191-93F7-41FE-B6B0-9CD8FC26A8BA","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":"Q813420$4E4BA2BF-91C6-426C-882F-CE4476FECF5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbd82b7d3af1a1446cd82f3f822df91596751b03","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2005/330/","type":"string"},"datatype":"url"},"type":"statement","id":"Q813420$AB848245-2C3D-4671-968E-5B707D33E487","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5595a9cd96ddea21480a0d0cc1f9006111eed212","datavalue":{"value":"From Bayes' rule for posterior probabilities one can extract a qualitative principle: when the support of a prior probability function is not disjoint from new evidence, then their intersection equals the support of the posterior probability function. Here the `support' of a probability function is the set of worlds (states) that receive a non-zero value under that function. The author calls this the `qualitative Bayes rule', and uses it as the guiding idea for constructing a modal logic for belief revision. This logic contains three modal operators: one for prior belief, one for posterior belief, and one for (all of) the input information that permits passage from the former to the latter. Postulates and possible-worlds semantics are given, and soundness/completeness theorems proven. Although the semantics for the information-input operator is rather unusual, the author suggests that the system has the advantage of demonstrating that ``three operators are sufficient to axiomatize the qualitative version of Bayes' rule. Previous modal axiomatizations of belief revision required an infinite number of modal operators''.   Reviewer's comment: A limitation of the system, as one might expect from its starting point, is that it is able to consider only information inputs that are consistent with initial beliefs. Thus it covers situations that give rise to what in the AGM tradition is known as `belief expansion', constituting a limiting case of belief revision. The subject of the paper might thus be described as `a simple modal logic for belief expansion'. From the point of view of revision, the interesting cases are those in which the input contradicts initial beliefs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q813420$FD8077EE-6C66-4F68-80B2-9FD878DCE1AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813420$BFE70774-592D-4515-8387-FF59C854A8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813420$37F81B87-5A44-4560-A110-E267840F04C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"622fd2ccd6ae1b74b2104ce344a2f337caf4ad0e","datavalue":{"value":"5005192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813420$ED7ABBCF-670F-45EE-82BC-57EBDF9FCE74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q813420$FFB8ED22-5BDD-4B3E-BAC8-36FA0020FDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q813420$82F35D6F-E6C6-4A9B-A418-43BF5FC2C8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5583a9481054ae8b1b3d33b114699c5ce2c011f9","datavalue":{"value":"Bayes rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q813420$4CD23160-D943-4FDA-9580-622C1A5BEA7B","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":"Q813420$B53782E7-07EA-451A-AFFC-006B71446BE7","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":"Q813420$A424160E-D22F-468E-9105-4A00F138C543","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a841d6f82f5772bb78aa82a84b965e534b7d3705","datavalue":{"value":"W4214913825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813420$A81B627F-D968-4A82-BA61-9270117F2FB8","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":"Q813420$19300025-8823-4B08-8738-C3603F0AC5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf4ebdf4ba7ab01908b318847e0ec10665b5cbf","datavalue":{"value":{"entity-type":"item","numeric-id":1815202,"id":"Q1815202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$C06111D5-0957-4EBA-9FE7-584D45A1075C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$3A8ED660-DC58-4A19-8712-D95CCD9B901A","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":"Q813420$F03128F5-80B4-46E3-88FA-D7957A19BB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$7B6041A0-32DB-40EE-A4CF-CFB360215CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$5E6E7320-1855-4F4E-AF57-06B1D9F824C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f83eda61e0c6a18ced3b116e808f2d5ebed2e","datavalue":{"value":{"entity-type":"item","numeric-id":1961950,"id":"Q1961950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$7EEE9217-381A-4935-BCCE-00CDE77C13FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb3b1f32a182d090afa2cae9792ce13447bb5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2638977,"id":"Q2638977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$E621C40D-F110-40AB-B743-1BCCC91A979F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a577e0da01ec1adc44266e1d896fae0d9ab7207","datavalue":{"value":{"entity-type":"item","numeric-id":3107917,"id":"Q3107917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$81DD342E-7C11-4CFF-B8B2-8A0D579A267D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$171F97C1-CC8B-46A9-BF94-4FA4D870B6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438276aa22757480c6981064345f0ccca019a148","datavalue":{"value":{"entity-type":"item","numeric-id":4835579,"id":"Q4835579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$B15AE547-F299-4B97-BB7F-66AD97DED12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f024a6ee932bb210525c57e8a95be052344e91a","datavalue":{"value":{"entity-type":"item","numeric-id":3737520,"id":"Q3737520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$ED6F7382-F73F-4813-AD2E-653861E28738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e68c98acab8a44b19d60726ea8d37c3a5068ee","datavalue":{"value":{"entity-type":"item","numeric-id":2971689,"id":"Q2971689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$B3A25C69-E337-45DD-9E70-12B7F0DC343B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311016c634a3083228e5a83a69e6ef73a98e8630","datavalue":{"value":{"entity-type":"item","numeric-id":4276179,"id":"Q4276179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$515088B7-362C-4183-A847-D8103EAD2E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7193a34f3f0c5a8fbd8ea238332d9f044583e528","datavalue":{"value":{"entity-type":"item","numeric-id":3942768,"id":"Q3942768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$B935DF13-D2D0-48E3-BD83-DAC2DC224844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$534E3274-CDC9-4710-BB05-B355A7A7D677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec1d0fdd3fd9fde2d7e31c1dead171c9fdc9a74","datavalue":{"value":{"entity-type":"item","numeric-id":814504,"id":"Q814504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$EB140038-7772-45FD-93B8-9A8785DC18CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53804e030752919bb9f1409090781a1a685be1b5","datavalue":{"value":{"entity-type":"item","numeric-id":757343,"id":"Q757343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$9EFE0FA5-CEE5-4EFF-A596-A6210969730E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc0e0ff9b2235e85674092687638a23b1fafdb6","datavalue":{"value":{"entity-type":"item","numeric-id":4946225,"id":"Q4946225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$7537B54B-C8CD-41FD-90D2-776EDA753229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f2010c6c413f7d93709e6f88bdf18068678e35","datavalue":{"value":{"entity-type":"item","numeric-id":1393902,"id":"Q1393902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813420$2CF6ADC7-9C7F-42E3-A895-88E65E6CB336","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc3fc990a6a9873cd3af95a23c12339da4c60cf5","datavalue":{"value":"10.1007/S11229-005-1348-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813420$83B44E06-0AB1-4C5D-B407-BA91C610DFC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcd1784dd865134fe48d52a828d2c4e9066232d","datavalue":{"value":{"entity-type":"item","numeric-id":2281313,"id":"Q2281313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57fd6b6d02c3182c9868cc2908dd8039e4f6da2e","datavalue":{"value":{"amount":"+0.878985583782196","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":"Q813420$F88AADA1-1020-4B69-8C96-4F977EE4B0C7","rank":"normal"},{"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":"7cde62d4b3bb5bfba5604d0d998b332c18cc8a0d","datavalue":{"value":{"amount":"+0.8631056547164917","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":"Q813420$A16BDC7A-690F-4053-85A3-64BD8F2991B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f680b45274e9c369eb5f9a35a691b51e44ecf1d9","datavalue":{"value":{"entity-type":"item","numeric-id":4599504,"id":"Q4599504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252e7c10772183f1bf44062f6195d505f640bf51","datavalue":{"value":{"amount":"+0.8563728928565979","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":"Q813420$6628B049-560A-4238-8E2F-B81DD65B0F7A","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":"0fc561bd647d6da1f812c7e7354b572aded033b1","datavalue":{"value":{"amount":"+0.8518908023834229","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":"Q813420$0C64F4F8-72DC-42D3-8AFF-0154759B7E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6af752df221f438b382200b94012c75ad22533b4","datavalue":{"value":{"entity-type":"item","numeric-id":2464646,"id":"Q2464646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189be00d64444bb294e9cdb99e3b97a28ee0a1d1","datavalue":{"value":{"amount":"+0.8485937118530273","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":"Q813420$DBCCBB2A-37DE-4C56-BC63-39123B42D528","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple modal logic for belief revision","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_modal_logic_for_belief_revision"}}}}}