{"entities":{"Q1928486":{"pageid":1939228,"ns":120,"title":"Item:Q1928486","lastrevid":43427836,"modified":"2025-07-25T18:06:05Z","type":"item","id":"Q1928486","labels":{"en":{"language":"en","value":"Finite contractions on infinite belief sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6121542"}},"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":"Q1928486$CA31E71E-2C92-420E-BD68-BB785C1F9D37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbd78644ce536f2f6029e8b0ec7ac34c630b2349","datavalue":{"value":{"text":"Finite contractions on infinite belief sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1928486$2AE86427-7EEE-4944-9AFC-252C1B4535E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"572c3e309e6b5d8cc4ed37ff52fbb03ae83b3110","datavalue":{"value":"1317.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928486$7371D1D7-020B-4E9D-BD6C-9C28A3F9C65A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a09e9d158e17250abe5c6bb76faa9ad3e004c94","datavalue":{"value":{"entity-type":"item","numeric-id":253981,"id":"Q253981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928486$098F5733-C8E2-46D1-982B-426579B4E007","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928486$E59E8FB2-CD1C-4794-A75A-D4DDC64AD916","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54c3aea5017a2b930b738e94f94c92304e5e4ff2","datavalue":{"value":{"time":"+2013-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1928486$F295688E-DDD5-4463-A74D-9CDFE47BFF38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ddb664af9f2d34a8ebba66625be11ed13c71c34e","datavalue":{"value":"In classical studies of belief change, a belief set is a set of sentences closed under logical consequence. Thus, a belief set is an infinite entity. However, it is possible to define a special class where the belief set can be represented by a finite set of formulae.  A belief set \\(K\\) is finite-based if and only if it has a finite representation, i.e. if and only if there is a finite set \\(A\\) of sentences such that \\(K = \\mathrm{Cn}(A)\\).  A partial meet contraction is a function that selects the ``best'' elements of the set \\(K \\bot p\\) (maximal subsets of \\(K\\) that do not imply the sentence \\(p\\)). These subsets, if the language is not finite, are not finite-based, from which it follows that partial meet contraction does not in general preserving this property. Even if \\(K\\) is finite-based, the contraction outcome \\(K \\sim \\gamma\\;p\\) may nevertheless lack a finite representation. The desired property is:  \\[  \\text{If } K \\text{ is finite-based, then so is } K \\div p \\text{ (finite-based outcome).} \\]  In previous works, the author proved that the AGM contractions that satisfy finite-based outcome exactly coincide with those AGM contractions that can alternatively be constructed as instances of specified meet contraction (contraction based on sentential selection [J. Log. Comput. 17, No. 3, 479--498 (2007; Zbl 1135.03008)] and specified meet contraction [Erkenntnis 69, No. 1, 31--54 (2008; Zbl 1155.03010)]).  In this paper, Hansson extends these results to belief sets that are not finite-based.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928486$B90FA4A5-EF47-484D-9491-B8E988EED989","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928486$4861802F-819D-48F7-A589-720FF4B0EBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928486$E46DD143-6D09-4967-BA06-34E003CD4AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928486$01D83D0E-8736-4064-A324-24284EB0A583","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"309c12d853a1c60f3ce0b4844ca237fd3220a557","datavalue":{"value":"6121542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928486$67BBC3AE-ECBB-48BF-A219-37636153EE5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68885f3f74f25a401eaef29b0aa7c122502d8869","datavalue":{"value":"specified meet contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928486$5B6C52F3-9CC5-460D-8173-90F4A8165AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0f11a2b09919571f705a3e0cb17330834ca40b1","datavalue":{"value":"finitely contextual contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928486$8D9D31DF-80EE-4E5E-9B34-780C97E4F307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedeaeac111061df471ac114d83c77ac38d00603","datavalue":{"value":"belief change","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928486$11283190-FAEE-4823-A3A9-3D3229D65B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928486$983CAA06-B346-4A91-A886-0A66E370DAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae63df354472cd42fb40144035aae5652fad2e5","datavalue":{"value":"finite contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928486$3FE81F3A-AC30-4E93-9C53-32F4D8A1937D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01abf1fe7dd75d7d000a291a82df4feef657f777","datavalue":{"value":{"entity-type":"item","numeric-id":1387801,"id":"Q1387801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928486$F0D770BC-1CAF-4CE1-B32C-D861A4D18679","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":"Q1928486$A74B8CC0-60F4-4A05-A089-2FB12FE05D00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4386edf2c1f4f8893cb9dbb9d70ec217ee01693e","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9440-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1928486$9241C52D-E571-40D8-91BE-DC7FCB306BE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a89284c5e64ecdda420e1c484e76ef592ad9de06","datavalue":{"value":"W2060036376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928486$F79AC213-4EF3-4D70-9A37-F36468ADC29E","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":"Q1928486$F884E1BC-A521-4A72-8393-383A40932C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2b148f23a3b566b437d31045b1a43179f002ba","datavalue":{"value":{"entity-type":"item","numeric-id":3039305,"id":"Q3039305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928486$B55A6FB1-03F4-434E-A897-C6902B99B3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d72fbdeb10e3292584d51bd71e4edce14122650","datavalue":{"value":{"entity-type":"item","numeric-id":1601852,"id":"Q1601852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928486$856EDC91-2802-4F42-8F8B-AAEA2E4A3A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4569d963b155abbcb87f982ca2df3cf976f2c4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1977408,"id":"Q1977408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928486$8E8B5991-C8B2-4FDB-8A2E-BB03388F0177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63aea168d4e93f88a1239a94bcfd909942bdb2d1","datavalue":{"value":{"entity-type":"item","numeric-id":5431609,"id":"Q5431609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928486$016B68EC-22D0-4C43-AC1F-09E0DAC440D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f610d4739036c9351e47275dc3600af94d8ba4fb","datavalue":{"value":{"entity-type":"item","numeric-id":946198,"id":"Q946198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928486$EE86535B-5B09-4080-B399-A4C75B110298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1259ed50df8374fceb5fc8d6b890707c9db231d8","datavalue":{"value":{"entity-type":"item","numeric-id":421355,"id":"Q421355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928486$ADD1119D-3378-41B2-A90A-0522874C2908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d43e72365fd99cc036021cbbf38085cf7d89b06","datavalue":{"value":{"entity-type":"item","numeric-id":1602963,"id":"Q1602963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928486$851213B1-84AA-42B8-8A9E-AC63AC85B904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d90f94d213fa2cabfb7af929ac05b4858a4bd4","datavalue":{"value":{"entity-type":"item","numeric-id":5422313,"id":"Q5422313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928486$E2EE4574-2D1D-4730-BBEF-0E3739636939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff599fc99565f31cf0b6240ef6ab807da1f5478","datavalue":{"value":{"entity-type":"item","numeric-id":4518818,"id":"Q4518818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928486$37C1689B-84B3-42CA-B886-7BC5ADBB5E5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"530441753e3ecbfea30f2d7378b21d8c36d0d11d","datavalue":{"value":"10.1007/S11225-012-9440-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928486$735E46B2-A33B-4724-A80D-279602ECBC28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e393e0303775552b4fe02905f3ad241f744dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3138015,"id":"Q3138015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2defbe80be5613c4391a510310c73d61e5a5e15","datavalue":{"value":{"amount":"+0.87622905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928486$B931D0F4-9679-46DC-A570-0DF75AEE016F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72e9a0cbdb6fc3401d285e0e7383546b8c03008","datavalue":{"value":{"entity-type":"item","numeric-id":4225112,"id":"Q4225112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70dd28fccbb7f9d72f84682584fbcf23cca7ea48","datavalue":{"value":{"amount":"+0.84425724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928486$C9BE04F0-487E-4E4E-8076-F2688F116CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"206105074f9b51734852e36fa70a88272bc5aafb","datavalue":{"value":{"entity-type":"item","numeric-id":931407,"id":"Q931407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc1d248ed471749743980114c07adbdfb0f646d","datavalue":{"value":{"amount":"+0.8347958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928486$7E83CF2A-476A-408D-ACB3-2E39FE31847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a799185252d6c21361724c803fb67be678c4ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2443344,"id":"Q2443344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7005e12d1673d8ffa1d38ad41716900c962d0d08","datavalue":{"value":{"amount":"+0.8312448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928486$0D7EDDB3-3FB1-4ECC-ADA0-FB405DB3B612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aaa51de20e1b65ab0c4990621fcd3a0d5ed8807","datavalue":{"value":{"entity-type":"item","numeric-id":2377189,"id":"Q2377189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"350afec8cd1564881eb54175e3ee4c2ada573dc2","datavalue":{"value":{"amount":"+0.8172164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928486$3C5D6BFA-D78E-42F4-82B6-9EE324BF79EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70628c0f32cad2bc9c941f2dd149a1698a0f3f8d","datavalue":{"value":{"entity-type":"item","numeric-id":3529378,"id":"Q3529378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb41f275dcd441916b13aa65a842cca09ea1e8c","datavalue":{"value":{"amount":"+0.8132578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928486$1022BBBE-61DF-4128-88F1-20C1615D67AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aede0ef54aa9063e0f0bbe28f590e6a90db4e9d","datavalue":{"value":{"entity-type":"item","numeric-id":5431609,"id":"Q5431609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8f3f70dcf282fc3ddb15575370dcee8185f823","datavalue":{"value":{"amount":"+0.81214046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928486$C9B88C1B-1B52-4856-ACE6-29C03D2D975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cac7eb55b77a5f042c582d59e77280f2606522","datavalue":{"value":{"entity-type":"item","numeric-id":946198,"id":"Q946198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5274ff03a890f354c4b9189987bb1901137244","datavalue":{"value":{"amount":"+0.81165564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928486$72B8B2FB-7D2C-4CC4-A949-2F0D292BB975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7271ddd24cae2b422520e85da1d321fc0ebe2b45","datavalue":{"value":{"entity-type":"item","numeric-id":2240544,"id":"Q2240544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc68784e977c5a34b5a01068dfb5ed1291833255","datavalue":{"value":{"amount":"+0.8092648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928486$911D9E5B-D646-4D4A-87C7-641783586468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f4bddd72648ee1f1b665a98a9b193034055668","datavalue":{"value":{"entity-type":"item","numeric-id":4546703,"id":"Q4546703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cfae9f5ad9281a3234c57ee12c5de802150290a","datavalue":{"value":{"amount":"+0.8055718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928486$20B3DC64-4C4C-4513-B983-3C6BC71E38BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1928486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1928486"}}}}}