{"entities":{"Q1945710":{"pageid":1956452,"ns":120,"title":"Item:Q1945710","lastrevid":43438237,"modified":"2025-07-25T20:35:08Z","type":"item","id":"Q1945710","labels":{"en":{"language":"en","value":"Relative contingency and bimodality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6151686"}},"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":"Q1945710$5E89E5AC-33AD-46DD-B2C4-CAFF4D75542D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b136753885963de2adbe6569e788c15a27e1b06f","datavalue":{"value":{"text":"Relative contingency and bimodality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1945710$033E9BDE-87F3-40CB-9B4F-5826A96BD93B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46cab74492ab08bdbd9747f6d1349b1536d4355f","datavalue":{"value":"1266.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945710$8E85A680-1E3E-4E0B-B9AF-4460A6B0066F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$1ABACB6B-DCF2-48E3-AEBF-EA007F76C617","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e7d4a9c2dab1adecb321dc007b7a701717623ba","datavalue":{"value":{"time":"+2013-04-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":"Q1945710$2159E0B6-8E07-4EB7-911B-FB30F5C50372","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"993bb1546788e47700b9e27dbe985c4d8381a3a1","datavalue":{"value":"The paper studies the logics with a deontic operator \\(O\\) which is defined as \\(OA =_{\\mathrm{def}} \\square(Q \\supset A)\\), where \\(\\square\\) is logical necessity and \\(Q\\) is a propositional constant, axiomatized by \\(\\lozenge Q\\) with the intuitive meaning ``the moral (legal) code is applied''.      The minimal contingency system \\(K\\Delta\\tau w\\) is an extension of classical (propositional) logic in the signature \\(\\bot,\\supset\\) by endowing it with a new connective \\(\\Delta\\), where \\(\\Delta\\) may be read as ``non-contingently'' or ``absolutely'', and with a new constant \\(\\tau\\), which is intended to have the meaning of some statement which is essentially contingent. The additional axioms are:     \\(K\\Delta\\)1. \\(\\Delta p \\equiv \\Delta\\neg p\\);    \\(K\\Delta\\)2. \\((\\Delta p \\land \\Delta q) \\supset \\Delta(p \\land q)\\);    \\(K\\Delta\\)3. \\((\\Delta p \\land \\nabla(\\neg p \\lor r)) \\supset \\Delta(p \\lor q)\\), where \\(\\nabla A =_{\\mathrm{def}} \\neg \\Delta A\\);     \\(\\Delta\\tau w\\). \\(\\Delta \\tau \\supset \\Delta p\\).      The additional inference rules are \\({\\vdash A} \\longrightarrow {\\vdash \\Delta A}\\) and \\({\\vdash A \\equiv B} \\longrightarrow {\\vdash \\Delta A \\equiv \\Delta B}\\). In Section 2, an adequate semantics for the system \\(K\\Delta\\tau w\\) is constructed.      Necessity can be defined as \\(\\square A =_{\\mathrm{def}} \\Delta A \\land \\Delta(\\tau \\supset A)\\) and the definitional equivalence of the systems \\(K\\Delta\\tau w\\) and \\(K\\square\\tau w\\) is proven in Section 3.      In Section 4, the following bimodal system \\(K\\square O\\) is introduced and studied:     \\(K\\). \\(\\square(p \\supset q) \\supset (\\square p \\supset \\square q)\\);     \\(O\\). \\(O(p \\supset q) \\supset (O p \\supset O q)\\);     \\(\\square O\\). \\(\\square p \\supset O p\\);     and the inference rules are modus ponens, substitution, necessitation and replacement of proved material equivalents.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945710$E59CD71D-FFC6-4149-B6FC-7846C46353B6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$C08EE324-0C9A-4905-B575-DB77276E8CB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945710$C91AC2CA-703F-4BDE-BFAB-0E4F71BD415E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945710$15848F2F-4DE8-463F-B087-DDFFF9968A29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcbb17df8da4de887746a816ca40ea0e9e58ebe1","datavalue":{"value":"6151686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945710$8B03C5A6-6B61-43A2-9A9C-F54320CC430A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f9c172220d9f234e6e7acd82a759b25bfea6d19","datavalue":{"value":"contingency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945710$7B0864F9-1EF1-43E6-80DF-19AC014C7AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b67bd83b9f347f8a9452e213742c50e4b1efec3","datavalue":{"value":"necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945710$34C27D61-3053-47BF-A391-B13326479C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faec985e100919930db49bed06e8219e562b1076","datavalue":{"value":"propositional constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945710$0780886F-4AE9-4ACF-9364-E4EA1151B9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94fff17ab327d4d113d366b1d018bbb72a943b1e","datavalue":{"value":"bimodal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945710$484C393B-B439-4945-9FF3-A2EF9C9DD809","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dc4db0bc75be6e11f1bfd9cfb84eda0e22174eb","datavalue":{"value":{"entity-type":"item","numeric-id":1653646,"id":"Q1653646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$D4C8559C-E794-4367-8FE0-963E4F8684B4","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":"Q1945710$38C58B9B-8020-4448-A844-CCC62E749F75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1eb1894a527c25eefc0da3a117cf188429997a32","datavalue":{"value":"https://doi.org/10.1007/s11787-012-0071-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1945710$157C67DF-557A-44A9-BB6E-BF3859950F06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65bb9395883598cfadb217be1e0f725a47d67b10","datavalue":{"value":"W1969401102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945710$66C957AB-2216-45D0-9A34-6A2CC6E8BAA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f9489357a987a022b55d2842e634b3da77a55b","datavalue":{"value":{"entity-type":"item","numeric-id":3787968,"id":"Q3787968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$B42853EC-EB00-4677-BBDA-823A1B569C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7563c3b51c8a4315859def5d1e4f0f24d7294959","datavalue":{"value":{"entity-type":"item","numeric-id":1116939,"id":"Q1116939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$EA398F27-39AF-4890-8457-5456DF493224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$821AB2AB-F33C-4F9C-88B9-05A9FC2B2FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a3d273b8848654d604bf96de99d61a843c4c67b","datavalue":{"value":{"entity-type":"item","numeric-id":3669374,"id":"Q3669374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$E9C21B40-D5DE-4C15-AA90-422BF9FAB6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2560c1400316876536000ae649526df181843b","datavalue":{"value":{"entity-type":"item","numeric-id":1903586,"id":"Q1903586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$907DDBAA-9A8C-4364-809E-E37F4089D369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1cd960fda25feecf167ae8b55d7b5f58976cd","datavalue":{"value":{"entity-type":"item","numeric-id":1430999,"id":"Q1430999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$B12247B4-635B-4357-A8B1-52B18B7CBD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"750c7da3421bbef7c72dfdb3976c9b409fc427be","datavalue":{"value":{"entity-type":"item","numeric-id":1903587,"id":"Q1903587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$941144B1-A085-46E2-90D0-3C477EB38403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae0890905c3827c2bde226eaf60461e6781ca9a7","datavalue":{"value":{"entity-type":"item","numeric-id":995671,"id":"Q995671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$89A99B94-12BD-4BFD-BDF8-F4544C905B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3eb7668b27bb15ae82f326a903eaa1c10b8124","datavalue":{"value":{"entity-type":"item","numeric-id":5329145,"id":"Q5329145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$9525C0BA-1742-4273-A433-AB96EBD2E8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829bb2d1abde2fff7b449329f9e6cc131c8e8bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1347608,"id":"Q1347608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945710$C1BD15EB-E9D6-4055-B42C-8D85D08885CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac00da96c0cde8dc3db8eb10b16e65280ea77fdd","datavalue":{"value":"10.1007/S11787-012-0071-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945710$33A20AC0-018F-48F4-91DB-0F0B9D58BD0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9350844e444cee0a3787ff12a19c62d83ce2b8","datavalue":{"value":{"entity-type":"item","numeric-id":2636641,"id":"Q2636641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b4197fed4d7c8aff827a754209885c151918c5","datavalue":{"value":{"amount":"+0.8416996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1945710$F2CF30D5-4ADF-428F-9280-D53B4CFDBEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c5f1be91ba99f189db3f9d6643004bbb2fba93","datavalue":{"value":{"entity-type":"item","numeric-id":5085582,"id":"Q5085582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755653fb01263b73bf46b1d8ccd05299548e640f","datavalue":{"value":{"amount":"+0.83014363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1945710$FE223E3F-6365-4642-8204-4DD9EB060C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"839aa65932df354ba8662f035da67a2d3acba023","datavalue":{"value":{"entity-type":"item","numeric-id":5038759,"id":"Q5038759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86c200c4cd3053148898edd2c49bb3ce3d2622a","datavalue":{"value":{"amount":"+0.8232497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1945710$5D102441-E2B9-4D46-83AC-E6FBC06E69EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4099f2b0d51b419c1291ea8d220e4ecfde6e450a","datavalue":{"value":{"entity-type":"item","numeric-id":3108466,"id":"Q3108466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299ae9d5b1705fcf94cc4d64e35e426014efefb7","datavalue":{"value":{"amount":"+0.82125664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1945710$E1A6FCCA-6774-4EAC-979B-DC78114E05AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a904bb480a27cf8ac0ce47835350a0e8c54e8734","datavalue":{"value":{"entity-type":"item","numeric-id":3185270,"id":"Q3185270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f84e89a3fa1fd74c713a8c71684df591732069","datavalue":{"value":{"amount":"+0.8202977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1945710$FD5ACABA-C539-4AF0-AB84-689A37DB67A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf7992948f7cd2e23adfd9cd86f1580239d1ccb","datavalue":{"value":{"entity-type":"item","numeric-id":4357253,"id":"Q4357253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eafeca62f78d2a411133355bcda2c882d80c9ba","datavalue":{"value":{"amount":"+0.81682134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1945710$AC59BF8F-4BEF-4678-81AD-B86B7D23DB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622036ee569e2feb35c94d610a874719aeb8e5d4","datavalue":{"value":{"entity-type":"item","numeric-id":4734588,"id":"Q4734588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f3c9e944c9a0efb5c3dae70b3643a16e55c94c","datavalue":{"value":{"amount":"+0.8165519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1945710$D961CE7B-51E9-4CD3-84EC-A314226848F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc6039c454ef049c0765d11dd8bd0ac22487004","datavalue":{"value":{"entity-type":"item","numeric-id":4960531,"id":"Q4960531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ebd0f56c3f18f3357d56800304eb5d910ad281","datavalue":{"value":{"amount":"+0.8114948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1945710$1F0AC5C9-A504-461B-97CC-80ECA180F28C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1945710","badges":[]}}}}}