{"entities":{"Q2366248":{"pageid":2376991,"ns":120,"title":"Item:Q2366248","lastrevid":46344384,"modified":"2025-12-24T14:54:07Z","type":"item","id":"Q2366248","labels":{"en":{"language":"en","value":"From worlds to probabilities: A probabilistic semantics for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223511"}},"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":"Q2366248$66A89A18-1E9A-4C89-941A-3CB04E015E6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebc7c912deb6f1409d389bd9eb2570b3aa0a9b5e","datavalue":{"value":{"text":"From worlds to probabilities: A probabilistic semantics for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366248$28A0366A-EBBB-430A-BC36-732542AEC61D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9286fc560b820211ed0136ecd75564db554cb874","datavalue":{"value":"0798.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366248$2A0C5EE1-5281-4543-99A1-EDA4D251F194","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f16532e42bb90f93d30d01486f5c6d196580cd0d","datavalue":{"value":"10.1007/BF01049260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366248$E92303EC-F76D-416A-8541-89E341CB0F75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfe80e09b890bb157b7a831940111fe4ce8e0b73","datavalue":{"value":{"entity-type":"item","numeric-id":732259,"id":"Q732259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366248$8CD3C145-7B94-4FED-A238-E9874133B976","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366248$19363EB0-21CC-49F5-B542-B17D5CB7A09E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366248$DA36F702-2294-4608-9A3C-511D289EDC09","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ee6cefb63e71fc159e48f65bc32e3e840b02135","datavalue":{"value":"The author presents a semantics for modal logic in which the role played by possible worlds in standard treatments is played by probability functions (Popper functions). Using an accessibility relation between probability functions, and requiring that the value of \\(\\diamondsuit A\\) conditional on \\(B\\) for a given probability function be less than the value of \\(A\\) conditional on \\(B\\) for all accessible probability functions the author is able to prove soundness for T(M), B, S4 and S5. The use of degenerate functions whose values are 0 or 1 enables standard completeness results to apply to the author's semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366248$108B2CF8-1EF3-4CAD-AA01-9022ADDEDB63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366248$D6AA7F0E-F308-4103-AAF8-424E8D351ACC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40b3e0a604f632701dc465742944c0018cefd624","datavalue":{"value":"223511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366248$2D2685B0-893C-4D9F-B6F3-23A9541FB07C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c5964119ff0df921f7efa3fe846594695fd008","datavalue":{"value":"Popper functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366248$D60721F1-8BDB-4E51-82C2-D72EBD7F460E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3a643313e673e1c60e6cbae2432974ef4f93a7","datavalue":{"value":"probability semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366248$43358DA8-8B7C-4D08-8FCF-6FF76C9C5C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366248$A672FD40-69F6-451D-AC2B-5428005E80E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ed4c52c97ede8269ca417792eb0c307e0c83ac2e","datavalue":{"value":{"entity-type":"item","numeric-id":516413,"id":"Q516413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366248$07EE9367-4233-49BE-9042-2B305712A249","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":"Q2366248$1C2A6E6F-0ADA-410F-BD24-05A92B56BDA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"519b0c6aef0f3e7cd03a911998396659d4d45fc3","datavalue":{"value":{"entity-type":"item","numeric-id":1225869,"id":"Q1225869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366248$C120ECC5-551E-497F-8050-C8DEC2AFC9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7b4a02a934ae312fe49821ecb1608cd905c787","datavalue":{"value":{"entity-type":"item","numeric-id":1161736,"id":"Q1161736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366248$B4CDB81C-9609-4F3E-A14C-FDC7CF2D249D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4ba40de876fa61eb56b28e3332e63203d9b0aa","datavalue":{"value":{"entity-type":"item","numeric-id":3858238,"id":"Q3858238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366248$99B21ABE-CC5B-4208-B1E3-7B034A58100C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecedbc486f5aef29b19c75956acdbaa1a39377bf","datavalue":{"value":{"entity-type":"item","numeric-id":3236671,"id":"Q3236671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366248$1A00DE55-9E64-4581-A3AA-1E7738ED2D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb186be5034de65590b17778e1628796d8e9373","datavalue":{"value":{"entity-type":"item","numeric-id":1051967,"id":"Q1051967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366248$BFCA7B1C-5539-4B9C-B9D9-1B512EA9CF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf68f6f0b0cea0ef3a9cdbbca51e9f520f604c7","datavalue":{"value":{"entity-type":"item","numeric-id":1839244,"id":"Q1839244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366248$9ECE5738-2F12-445E-B9AF-860031FA6841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1102179115ed327ae648ad69d26a2df134fc97","datavalue":{"value":{"entity-type":"item","numeric-id":1161734,"id":"Q1161734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366248$88FF84E2-8250-4860-9A9C-1293A11546F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7971bf5244c029c97adfbaedafb8e1cb1ed61924","datavalue":{"value":{"entity-type":"item","numeric-id":1168305,"id":"Q1168305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366248$456451F6-C0ED-436D-8A6E-B142E5B2B5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19dbc8fac6bc96501c6b75db23c45aecec72ceb","datavalue":{"value":{"entity-type":"item","numeric-id":1835911,"id":"Q1835911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366248$7B729EBA-CEDB-42F9-833F-7BF56D700623","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c333832a719c4f9510da60af26a1e7c343539ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4247686,"id":"Q4247686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105f12b7bb62c861a08f2d7e8e24d831bbc20bba","datavalue":{"value":{"amount":"+0.7862465977668762","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":"Q2366248$06EC8C18-33BA-4458-99DE-94A478048496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec628a46928aee06a068fde29842545cd0328aa","datavalue":{"value":{"entity-type":"item","numeric-id":1102938,"id":"Q1102938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffcee1e273a6274fd3ff8d017259b8cdd556b85","datavalue":{"value":{"amount":"+0.7804926037788391","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":"Q2366248$6703588D-377F-4691-9C7A-2A950BA25F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb8ad6b27536519841f7fc8c5807df9d0e81dcd","datavalue":{"value":{"entity-type":"item","numeric-id":5900623,"id":"Q5900623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30052a939e088b46621eed03438e02e6ef0681cd","datavalue":{"value":{"amount":"+0.7658061981201172","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":"Q2366248$040A81DE-E36B-4379-B89B-F71C5A568B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e99cf00b6d8f1493c2a6f49d75f05089bb4c401","datavalue":{"value":{"entity-type":"item","numeric-id":4450454,"id":"Q4450454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da957b97e48b1200bd89cddd438c1860205e6183","datavalue":{"value":{"amount":"+0.76463782787323","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":"Q2366248$75FA6A23-B843-4045-BA3E-BA8E32BA9755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"337c311c8c7808f5c861a9cc09a4fd3aa40b92a0","datavalue":{"value":{"entity-type":"item","numeric-id":798650,"id":"Q798650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be1be9daa4c9016a35c6f7871ca6d69de0f83f7","datavalue":{"value":{"amount":"+0.7631841897964478","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":"Q2366248$E1030232-EF57-4371-9E5F-08FC9519F680","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2366248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2366248"}}}}}