{"entities":{"Q2715517":{"pageid":2726256,"ns":120,"title":"Item:Q2715517","lastrevid":82923380,"modified":"2026-05-06T22:25:33Z","type":"item","id":"Q2715517","labels":{"en":{"language":"en","value":"Negation in the light of modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1607948"}},"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":"Q2715517$CE45631A-ECEB-4ECD-A64B-55B4971BBC0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6eff247fbd5087ed0448ca6a784eb2483fa5f261","datavalue":{"value":"0974.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715517$86A3D176-F01F-4473-9765-A6A3750D8DD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715517$D9ED34A9-39F2-48A8-A675-93CB2B6EF4D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d53cc9b739d076778b9207d322c3b005b7ae83bc","datavalue":{"value":{"time":"+2001-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2715517$6C3EA00F-78A4-4522-823C-99877081DD38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715517$5BF5E25B-458F-4F9F-85E3-4B5D61D2D49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715517$A4B8FEA0-0B7E-4EB4-906B-6C30129E6A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715517$2CB24BDC-5B9B-470C-A5F2-C486B3826597","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90bcca224662ba2fbee2a3064cd1e954a105719d","datavalue":{"value":"1607948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715517$A6DDD27A-77D1-4DD5-8264-0E640894DF39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a19fccf9f54c9409999ed1a5d7f1444a8935218","datavalue":{"value":"impossibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715517$4BE99F91-8A3A-4DCA-9122-A169CE1636E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715517$3328A720-327F-4885-869F-7C3876C097D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b0aee17d94cc1a9ef0b418a31cd72a30ec0a5de","datavalue":{"value":"minimal negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715517$F270F273-A763-4E9B-A6CA-8310968401B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2610934b68f0459bafbd43437a2f08ce288f171","datavalue":{"value":"positive intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715517$3336A945-B2EF-41CB-A124-830FE503EB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715517$E4A7475E-9FDA-4514-A624-78B466B01ED0","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":"Q2715517$AB2653E4-2759-435C-AEAF-7A90EC37F55F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b69806df4ecea839c519ab1bb574fc8bec94e88","datavalue":{"value":{"entity-type":"item","numeric-id":3356290,"id":"Q3356290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa3e8345168689552747bef66026880cb24128b","datavalue":{"value":{"amount":"+0.9420711","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":"Q2715517$68379AD2-98AA-46F8-922B-27F57CE0077D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326c7e82edb293423b9a12a166523e22f1daa0e7","datavalue":{"value":{"entity-type":"item","numeric-id":5313114,"id":"Q5313114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739dc0b3560ad14d58cfd9283ad75ceb9009958c","datavalue":{"value":{"amount":"+0.9321462","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":"Q2715517$1329C472-08B0-4E44-B032-59EDA6C89320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8414e66f5e2b3d2dea10be0895bffe1a06cda91","datavalue":{"value":{"entity-type":"item","numeric-id":3028968,"id":"Q3028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5039943b5df6cca137fcc5779bdaa7c7d8aca9d","datavalue":{"value":{"amount":"+0.9254201","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":"Q2715517$063B7334-3E5A-48B2-9B3A-1FFAE530137E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51c90c970deaba0916d13f5725a284ff456bece","datavalue":{"value":{"entity-type":"item","numeric-id":4018068,"id":"Q4018068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b920c490bc017707a47c3a74b15bc1125640539","datavalue":{"value":{"amount":"+0.9215618","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":"Q2715517$8DB66032-6642-4423-985F-6C1F3D6FC2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7f6d6a97b72ae81b5fd39b3862b0d04de0607bf","datavalue":{"value":{"entity-type":"item","numeric-id":948755,"id":"Q948755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e494c81c82b14c544f899070c1c80d678ff445e6","datavalue":{"value":{"amount":"+0.91718566","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":"Q2715517$44EAB565-424F-4869-B771-8586A15BF177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5dcce4013ee3292b5cb58d11534494856d15ba","datavalue":{"value":{"entity-type":"item","numeric-id":1942343,"id":"Q1942343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd158f09de05b883ccdaa0cc3581b955a639d7ce","datavalue":{"value":{"amount":"+0.9127209","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":"Q2715517$969DE992-2355-4BC2-ABED-05ADDA511461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab778a8ea11697a43e79c97f291e452bfc4bb6fe","datavalue":{"value":{"entity-type":"item","numeric-id":4305346,"id":"Q4305346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c527ba211de9c6b94e545b66d0ed8a329861a8","datavalue":{"value":{"amount":"+0.91265243","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":"Q2715517$81137E9B-4652-418D-BE3B-90A1F91A999D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0970bd3601360a0faa35946d9548cb93ced38f78","datavalue":{"value":{"entity-type":"item","numeric-id":2016064,"id":"Q2016064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c6deff8539c9679e78785c6fc6c5a6c79dd240","datavalue":{"value":{"amount":"+0.9124451","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":"Q2715517$E0706929-BB1D-4A16-975B-1D3B51481D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdacf0ee48cf61647bf3461db8d242d4d903c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5411431,"id":"Q5411431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec4f655ca13a3f4805d55caab5871e8eb3aab7e","datavalue":{"value":{"amount":"+0.91034406","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":"Q2715517$394E4D47-018A-429A-BAA8-34D1CB5FE208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b152e2752cf53554da917f1cdfc78367b49e2577","datavalue":{"value":{"entity-type":"item","numeric-id":1969807,"id":"Q1969807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14494f7e390ad4f9cf28f3c4a8e47638798f5072","datavalue":{"value":{"amount":"+0.9040495","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":"Q2715517$AEEFF2B7-1483-4D83-A03E-91FB1BD6D742","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aad4f64c8fb364867fe447a6317c0dccf1faf0d0","datavalue":{"value":{"text":"Negation in the light of modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2715517$6CADC867-67BE-493C-94A2-D3A1EFFCBA34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"433d324084b355b7aa6625814fc7d6d7d7fb27a2","datavalue":{"value":"If one thinks of modal logic generally as the theory of monadic propositional operators, then negation naturally falls within its domain, and one should expect the semantical methods developed for modal logics to provide insight into negation. This paper investigates especially a logic \\({\\mathbf N}\\) that adds a minimal negation to positive intuitionistic logic, and then extensions of \\({\\mathbf N}\\). \\({\\mathbf N}\\) adds rule-contraposition and the axiom \\((\\neg A\\wedge\\neg B)\\to \\neg(A\\vee B)\\) to positive intuitionistic logic. Semantically it is characterized in terms of models on frames \\(F= \\langle W,R_I, R_N\\rangle\\) where \\(W\\) is a non-empty set of points, \\(R_I\\) is a weak ordering on \\(W\\) to interpret intuitionistic implication, and \\(R_N\\) is a modal accessibility relation to interpret negation, by the rule \\(x\\models\\neg A\\) iff \\(\\forall y(xR_N y\\to\\text{not }y\\models A)\\). For \\({\\mathbf N}\\), frames are required to meet \\(R_I R_N\\subseteq R_N R^{-1}_I\\). \\({\\mathbf N}\\) is sound and complete with respect to all such frames. By imposing various other conditions on \\(R_N\\), or \\(R_N\\) and \\(R_I\\) in combination, the range of principles associated with negation are validated, and the systems formed by adding them to positive intuitionistic logic are complete with respect to the frames meeting those requirements. It is plausible that a similar treatment of the many forms of negation would apply in relevant logic or other substructural logics.NEWLINENEWLINEFor the entire collection see [Zbl 0957.00012].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715517$DBBC89F7-B26D-4D9A-95BB-2FC93927BACC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715517$AE43963F-F3A2-4495-9B5D-9792864E1881","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Negation in the light of modal logic","badges":[]}}}}}