{"entities":{"Q2366529":{"pageid":2377272,"ns":120,"title":"Item:Q2366529","lastrevid":46346004,"modified":"2025-12-24T14:57:57Z","type":"item","id":"Q2366529","labels":{"en":{"language":"en","value":"A modal reduction for partial logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 227098"}},"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":"Q2366529$6A40DC17-6393-4446-8246-C2019B5BC5EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70423b74d07c3cd5b65f1fc93643a7d1e1c3418b","datavalue":{"value":{"text":"A modal reduction for partial logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366529$1E1F9C67-543F-4F92-A6ED-AB47111208A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"324ac9a174b0a042e761428a17e86c6d84386002","datavalue":{"value":"0781.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366529$B52E9F7B-0B64-4E5E-8CC2-D6B76A5D8CC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3375a6381d5f5bca7e7b97d8dd46537e84219a18","datavalue":{"value":"10.1007/BF01052534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366529$490AA85C-EFBF-44A4-A1C3-4189F37265E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb881d50ccd56459073f4b75ea4cb20bbfb1e64","datavalue":{"value":{"entity-type":"item","numeric-id":2366528,"id":"Q2366528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366529$1D204BE1-C5BB-439A-9C02-60912FB2456F","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":"Q2366529$DDB35F2D-1634-42FF-86B7-92AC5A752CB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ece7c460c78874e314a441f2bb630645a5e7532","datavalue":{"value":{"time":"+1994-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366529$F8BF9D66-CADB-42F1-ABA7-2B4F19078910","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47c70e213227bb422d8f5901f83b811487e35fc8","datavalue":{"value":"Partial logic may be seen as a three-valued logic whose third truth value can be soundly interpreted as ``undefined'' or ``neither true nor false''. It is well known that three-valued partial logic -- or partial information -- can be modelled within classical modal logic. However, for many purposes it seems more convenient to allow not only partiality, but also incoherence in logic, dealing with a four-valued logic whose non- classical truth values should be interpreted as ``undefined'' and ``both true and false'', respectively. The interest of this interpretation was pointed out by J. M. Dunn. This paper aims to prove that this four-valued partial and incoherent logic can also be reduced to classical modal logic, more precisely, to the modal system S4, and that when attention is restricted to the three-valued case, the reducing modal logic becomes just S4 plus McKinsey's axiom, i.e., the system often known as S4.1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366529$384B54B0-6516-4BA0-B94C-4298AE6244F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366529$75E055F6-0BEC-4A40-A1BE-EE9AEE577BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366529$702D4CF2-E5B7-4449-B89E-77A142929EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366529$9D03EAB0-AB48-4137-A9D8-A0AF92760D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366529$8E1705C3-0CAC-4264-B304-2B2FFA55BC92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f15ef40c3c0c87a77534dca7b8813d449c4e552","datavalue":{"value":"227098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366529$1EECE37A-84E6-4B4C-B797-6FD8BCB12C51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa74f686129a121f5bd34b8aa2ad502d0a61bc7","datavalue":{"value":"partial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366529$CDDED77A-F06A-476E-900D-E9D3A543A85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a1699b4cfe1bc5ae06389c0af87ca76125a3ac2","datavalue":{"value":"partial information logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366529$819C8D55-B635-47DE-8263-496528B7CBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366529$111FEC5C-D13C-4DDD-8FA9-D6EF1A55E1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5300099e4ab6e5993bafaa83790d8f6b7ba021c9","datavalue":{"value":"incoherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366529$3CA18177-93F6-4228-A0F5-DB9D9BF5B2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9db4be20647e9159a9631c367d8dc94143508a","datavalue":{"value":"four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366529$28B187DD-8C53-4143-8721-BBD8F9BCDEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366529$A6A29415-9A3F-4F6C-96C3-0C2D61E67E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbcce5d958a0130862ba486d8886f3214101b0c","datavalue":{"value":"S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366529$886F7D0C-8945-49FF-9961-C35A15B1EDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d217d907b606d1f061d0bb6a9860a06423317a2","datavalue":{"value":"McKinsey's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366529$50EB7CAC-2760-48FD-9CB6-78C2C064F303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d50a117232954d5075c51954cfd42793f25d6c","datavalue":{"value":"S4.1","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366529$6BB17E95-1FA7-4916-8E9D-7E02D3B5F90F","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":"Q2366529$A37E5A7A-0A72-42DE-975A-9FD70C18415D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"517189ebeb1cc9884e1c2ddaba2f54a86ab4d405","datavalue":{"value":{"entity-type":"item","numeric-id":4951952,"id":"Q4951952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366529$239183D7-C70E-4D42-BFCD-B7932DE1E920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366529$F7F038F1-0B5A-4314-AFDE-D6485DA5350C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224d427cbc88a738de977634ad40cd9fbfed2465","datavalue":{"value":{"entity-type":"item","numeric-id":3762292,"id":"Q3762292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366529$BDF5A93C-CEDC-46FE-92BF-7EE0EC49E718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba598b353df13ba5ae2c7683f441b0dc7d3ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":4342079,"id":"Q4342079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366529$C2F39005-5E03-45F2-84DE-4F87F5BA1535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366529$C0C6A543-F1A8-44D1-A69A-9E12C38217DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366529$938E21A3-A31A-409E-B2D0-30ED15F1EBB2","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":"Q2366529$671B2C8A-0BEC-4CC1-BE9F-009AF26237B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e2082aac4242c638e736d317fc947d427f2ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3992553,"id":"Q3992553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366529$C5A62CA3-9308-41B2-9EC1-C1D186018927","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c822bfcfd4d27cf20d406c3b19d2c798a4fd1fa3","datavalue":{"value":{"entity-type":"item","numeric-id":4395141,"id":"Q4395141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6a91bf0d192591d55fb2dc6e299b1998dda0c6","datavalue":{"value":{"amount":"+0.8429577946662903","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":"Q2366529$59A2762C-B08D-4D3A-8175-DCA778472131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903275c3e9bbc0b76ec82659fd8cbcd3689e3d41","datavalue":{"value":{"entity-type":"item","numeric-id":4395138,"id":"Q4395138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a821dd7664489fd8e5490c81666fc6529e5a59d1","datavalue":{"value":{"amount":"+0.809279203414917","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":"Q2366529$09CD37FE-2AD2-4E21-B599-3F5E612F97C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b85663a0cc2cd587365de659e5b6104316b160b5","datavalue":{"value":{"entity-type":"item","numeric-id":2901198,"id":"Q2901198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8369a5232bd56f6d0b0b508407fe8a37c28f749","datavalue":{"value":{"amount":"+0.7841505408287048","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":"Q2366529$9B01AB94-4623-4F3A-B3C5-BFEF6F24F24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353202315674ecf420d433468664f1942eac8da9","datavalue":{"value":{"entity-type":"item","numeric-id":3762292,"id":"Q3762292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afde907fcb55f230157c380afabaaa6a484f9024","datavalue":{"value":{"amount":"+0.7789911031723022","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":"Q2366529$C32ECC26-F463-49E7-8ED9-3D087E81B184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809662027c131fc0521168563317257d97ac3756","datavalue":{"value":{"entity-type":"item","numeric-id":4273421,"id":"Q4273421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e0b7403602c8e72cf6b4c706f0ca24787771c9","datavalue":{"value":{"amount":"+0.7765365242958069","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":"Q2366529$F40177B5-4578-4D5A-9522-AB1363B51FEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2366529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2366529"}}}}}