{"entities":{"Q995671":{"pageid":997519,"ns":120,"title":"Item:Q995671","lastrevid":65781270,"modified":"2026-04-12T05:19:48Z","type":"item","id":"Q995671","labels":{"en":{"language":"en","value":"Necessity and relative contingency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189073"}},"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":"Q995671$739E43DE-7857-4CD9-829B-2831C64F955B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c453474662f8304d159005956b4bb3a5d9c7f9b2","datavalue":{"value":{"text":"Necessity and relative contingency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q995671$65C3EE3B-1EFD-4D6A-9FE1-4F2C75EF33D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57dab48b0e82c24c1be208cd54c4c8ef9eeed052","datavalue":{"value":"1129.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995671$37E42BE6-5DB8-4C6E-9D97-903E137C1FA9","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":"Q995671$B6740259-6ED7-4FE3-8002-9DDC90B94548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42cd48ac6381a576736eec2b9a8e2283d304cd2a","datavalue":{"value":{"time":"+2007-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q995671$59AB61B1-5487-4278-BD2B-8F310C4E51A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7cd2fd46538646c4390217d6c42df6ff6e0ae54","datavalue":{"value":"The author characterizes a formal language having in its logical syntax (in addition to the classical propositional operators) one contingent propositional constant and a non-classical propositional operator formally representing the notion of a proposition being absolutely true. Pizzi constructs a set-theoretic possible worlds relational semantics for the language. By replacing in this language the non-classical operator by the necessity operator, an additional formal language is introduced. A formal system is characterized for each one of those languages (systems KDeltaTau and KBoxTau). Semantic tableau rules are formulated for the language with the necessity operator and shown to be related to the models of the set-theoretic possible worlds semantics. This is shown to yield a decision procedure for the notion of validity of the relational semantics and is instrumental in a completeness proof of KBoxTau with respect to the aforementioned notion of validity. Both KDeltaTau and KBoxTau are extended (by adding a definition of non-contingency to the latter system, and a definition of necessity to the former system). Both of these extensions are shown to be equivalent. Completeness of KDeltaTau with respect to the possible worlds semantics clearly follows, as well as its decidability. Finally, deontic system KD is shown to be a fragment of the extension of KDeltaTau; and modal system K is proved to be a fragment of a system weaker than KDeltaTau.","type":"string"},"datatype":"string"},"type":"statement","id":"Q995671$C1D70939-CAFB-4548-9CC5-090C0C708EA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995671$B936F506-7EBC-4297-8546-D874434FC0F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fb748ec4d7d6c74bdf3f0efd2d535949e671fc0","datavalue":{"value":"5189073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995671$577F856B-4462-426F-9B55-395E3F5D69DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4310466f8be2dee9e6ed2aad4c6a104ebb6ca533","datavalue":{"value":"absolute proposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q995671$8694D714-CE35-4CC6-B2CB-C5E41D3BC2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"647222056ed20a865d5c4d90a6a8d8b74c1c9399","datavalue":{"value":"relative necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q995671$E014AD80-DCF7-4C65-A2C9-3DBB41E1D372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f7f48ddf63211928ee7ec2d14a2d66297e4afe","datavalue":{"value":"formal language with a contingent propositional constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q995671$9DDAC864-98C7-4179-BCBD-4CA6B532826D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q995671$FE3971CA-C697-44BB-BB66-E4BF4C116C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q995671$F85B8F9E-73F4-4D0C-B3E6-9863B8376316","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":"Q995671$C660DB98-1811-4DDD-96C8-4E0059A16E04","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":"Q995671$7D7C3B1A-F1C0-4D59-A780-DA77927D678C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0707bc027dce9d9404b6493152a3a6cdd165ae2e","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9044-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q995671$41736D3B-92FB-40E8-A3AE-DCD9C42D76A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acf69937911d9a3dfb04096fd62c1dc15e9a87ea","datavalue":{"value":"W2012918020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995671$70A62B1D-613E-4B9D-A546-DC36F7D708D5","rank":"normal"}],"P223":[{"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":"Q995671$1B686625-857F-4677-86C8-C3388467DE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995671$09E71E00-4408-4FCB-80FA-34F240399527","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":"Q995671$1065C81B-ED01-4857-A4FE-EA4BE4CD752B","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":"Q995671$DEADB857-B034-4C59-8E8C-0CBE331DCD25","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":"Q995671$786F7048-FAA9-4022-B0EE-01D33DE44BD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82427080c2bb8092095ffdd07a45b9afa0b06924","datavalue":{"value":"10.1007/S11225-007-9044-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995671$029E36B6-2C76-4ED1-B926-49B3AB2841AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e342d5fe58e7b1ae3ebad924abc3ebf97d40b2","datavalue":{"value":{"entity-type":"item","numeric-id":1116939,"id":"Q1116939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72fc6ca6b69c0bce84f7a87eaa7eb3e62043c95","datavalue":{"value":{"amount":"+0.9688329","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":"Q995671$AFE9BF0E-17FF-4756-8134-D22604E39024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc5a481c4189c158b173e97b210827bef367eb71","datavalue":{"value":{"entity-type":"item","numeric-id":4329327,"id":"Q4329327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44393321521f9125501c5b1d6dfe1fed6c40ec03","datavalue":{"value":{"amount":"+0.8879102","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":"Q995671$14CEF397-40CD-4120-BFC7-999C760B9924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31110aadf7968ec3efc476bd730a0088e53232b","datavalue":{"value":{"entity-type":"item","numeric-id":1690609,"id":"Q1690609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53664a941db20322a5736497e450395f773ba719","datavalue":{"value":{"amount":"+0.88503116","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":"Q995671$91F4E9A8-377D-4343-8898-BD5864394AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7b17c92bf9f0f5eeb26199e41981521ca123a2","datavalue":{"value":{"entity-type":"item","numeric-id":5883186,"id":"Q5883186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0c9f0211ebbf1d16d210fecee36921843a6d83","datavalue":{"value":{"amount":"+0.8660868","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":"Q995671$38D48E6E-D023-4368-8567-8C70D4338D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f34b5f8fcfb4af5bb4d4e08e9ef1dd94b2715ca8","datavalue":{"value":{"entity-type":"item","numeric-id":5869723,"id":"Q5869723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0c9f0211ebbf1d16d210fecee36921843a6d83","datavalue":{"value":{"amount":"+0.8660868","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":"Q995671$BDCF6B00-F4E3-4073-92D7-42A9D57D213A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50110a5b90fec03c9c6dd31d76142f5dbae20360","datavalue":{"value":{"entity-type":"item","numeric-id":2144211,"id":"Q2144211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d039d2bbd8064e015fd7f9495344ec365b05107","datavalue":{"value":{"amount":"+0.85642594","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":"Q995671$1DEC465F-A4A1-4B03-8562-F3019AFEC734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6f3935dd400d8f8b63558bf258c58fa02d1d2","datavalue":{"value":{"entity-type":"item","numeric-id":2410891,"id":"Q2410891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9104f08643b710461efe4779a806edbe8fcc8b31","datavalue":{"value":{"amount":"+0.8560984","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":"Q995671$02CF3B06-C705-49DB-87AF-443C58AD335E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9843052157a3dfa8bc9cfc5d9ee532b870ffea","datavalue":{"value":{"entity-type":"item","numeric-id":3026975,"id":"Q3026975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae116c3103a8e885f16477622805b3f98b3a531","datavalue":{"value":{"amount":"+0.8500279","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":"Q995671$F03C9763-F69D-41AA-B922-F4A5D08A52A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b275f0bfe485b778418485b5f1aa3c1b5f99fa0","datavalue":{"value":{"entity-type":"item","numeric-id":5115852,"id":"Q5115852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387649cfe4abe6c64914ec81f980b5ba3364e090","datavalue":{"value":{"amount":"+0.8484545","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":"Q995671$8942A8F2-1214-4348-A313-083D0C1317B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44740cdb268b1d3434f9c8f1985c45ce8310110a","datavalue":{"value":{"entity-type":"item","numeric-id":2194112,"id":"Q2194112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783df666f39371864dc88f9fe476919e102bf64d","datavalue":{"value":{"amount":"+0.84280026","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":"Q995671$27D1C488-ACAE-43E3-92E8-D26EEA8AA6C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Necessity and relative contingency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Necessity_and_relative_contingency"}}}}}