{"entities":{"Q1377550":{"pageid":1388290,"ns":120,"title":"Item:Q1377550","lastrevid":47002992,"modified":"2025-12-26T00:57:44Z","type":"item","id":"Q1377550","labels":{"en":{"language":"en","value":"A new semantics for positive modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109535"}},"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":"Q1377550$AE8377FE-D8A1-4231-A13C-8E79422C7033","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1141faad713a7376b6a82ad61feeb22edcab77b","datavalue":{"value":{"text":"A new semantics for positive modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377550$E0D09203-DFEC-43F1-BE00-22ED509C546F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcf2a5d50f0e1ff754915b1fb45b7e48077710fc","datavalue":{"value":"0889.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377550$A1EEB7FB-C6B1-4A7D-871D-D1A18BB1C71D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377550$3B746F22-33E7-403E-A785-A037CF94F2E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"707f4f6bf2442bf320ee965767e7282ab1441346","datavalue":{"value":{"time":"+1998-05-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":"Q1377550$2C86CD15-6363-4B78-9A71-2C131BD09E4D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2fb60b912c6d7bcd8c83788a2f3aa88e4d81270b","datavalue":{"value":"Positive modal logic has already been treated by \\textit{J. M. Dunn} in Stud. Log. 55, No. 2, 301-317 (1995; Zbl 0831.03007). In this logic only the connectives \\(\\wedge,\\vee,\\square\\) and \\(\\diamond\\) are considered, whereas neither negation nor implication occurs. The authors re-introduce positive modal logic by means of a suitable Gentzen calculus and provide it with a refined Kripke-style semantics facilitating in particular the distinction between sequents and their duals; due to the absence of negation this property of the semantics seems to be quite appropriate for positive modal logic. Several completeness and characterization theorems w.r.t. the new semantics are proved in the paper, which in fact represent nice analogues of the respective results for corresponding systems of standard modal logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377550$16B8E272-DE4E-43DE-8A2F-163794D2FA70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377550$408D4C5C-5C79-43F3-BF2C-68ABB8D56FFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af030511845ebb66f5795ce0b9cb2fd14c2afa67","datavalue":{"value":"1109535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377550$D0FAB1C0-B1B1-44BF-9C98-A79F65093338","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338832971d2c4ecc97328ab09c9356f879bc7933","datavalue":{"value":"positive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377550$501661A1-B590-4008-9828-4883CFED9F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea9d919d165bc363679b58694930125e154d20e","datavalue":{"value":"Kripke-style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377550$B55BAE25-1FF9-4E72-8471-216E2DD2B0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7af506b5ccc0b69527309b8402ad7e16b928811","datavalue":{"value":"canonical frames and models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377550$CF45C171-9239-4A91-9FE1-5EFD5C08E8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377550$60E8E945-888A-4233-8B9C-DB98DB55920E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eafc96a46092e2429ee13b6bdee39b631fd790","datavalue":{"value":{"entity-type":"item","numeric-id":634748,"id":"Q634748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377550$3397B6E8-FD18-4141-AF0D-02A9F81548F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82afb292bf891852f5b53b1b9f9735fc6a064c8f","datavalue":{"value":{"entity-type":"item","numeric-id":218968,"id":"Q218968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377550$ED568AE4-54AA-43A8-A07E-B602879D5CCA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8746a658e51bb356ff2ae7f1a374c72606388a51","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377550$5782F4B0-26BD-4505-B6CE-6E8D0E2BA7AE","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":"Q1377550$0150299B-8E85-4D45-B7E1-97C50A076A5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d86584a18cfb6837b9b055c1cc867a42472886aa","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039700693","type":"string"},"datatype":"url"},"type":"statement","id":"Q1377550$A4225B75-1AB2-4047-84C5-339F7432F489","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d972db2f65e7dde9aae9aa90f7dd4c066dfa273","datavalue":{"value":"W2068658258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377550$B59C4B18-B6DB-4FFC-97A4-8C107E7CA97B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4760a59608fda63bd7abcfa1f697197d62b4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377550$48DECED1-9C4D-403E-A7AD-9B4CA47C9B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b01c430c91cec5f0c7619c27c486ede0808e55","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377550$C6C97AE9-DB96-4687-B60D-C1B8F478DF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377550$041EF34D-7E2C-4A5A-B04C-1A95E64D3585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a38bb9c593c0bf09e294e8a8507a2da46694310","datavalue":{"value":{"entity-type":"item","numeric-id":4395141,"id":"Q4395141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377550$7573239C-E81C-4ABA-B0A7-DA60D55C4002","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c933cac34c0771209e555a487bf9cd89ff8e444","datavalue":{"value":"10.1305/NDJFL/1039700693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377550$460A8292-876A-4F49-B68A-DBA43F3774AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011b137bee5b3b8bf6e38e5df65419f1d788bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e24149747c07754dad920da45e0d6b5df200a4a","datavalue":{"value":{"amount":"+0.8391674160957336","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":"Q1377550$1DC428AF-F3FC-42C3-80D3-30F41DF86B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8155b0654179343c751db889e10756a90a0e0f02","datavalue":{"value":{"entity-type":"item","numeric-id":4934881,"id":"Q4934881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04fdc235eb9d465541c0d54de02519ddaefd9d54","datavalue":{"value":{"amount":"+0.8040790557861328","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":"Q1377550$1D2FD1F0-5E4F-40F5-96F9-C8386C0999BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d431b78a0c00fba1dce0fa0db8a98f8e88ff81","datavalue":{"value":{"entity-type":"item","numeric-id":2243549,"id":"Q2243549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03553fb61c4159d91a431e3d6934e8971dcebf48","datavalue":{"value":{"amount":"+0.8002598881721497","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":"Q1377550$0D24FDC8-BB35-4189-92C3-1738A58856F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1baa2eff1d62afa86309e2ef44f8c138aa6fe8fc","datavalue":{"value":{"entity-type":"item","numeric-id":3400790,"id":"Q3400790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d284bc90caca41d8a4aa7dc33881281ed23259","datavalue":{"value":{"amount":"+0.784652054309845","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":"Q1377550$EDDEB1B1-D81A-412F-834B-0B4A239D2740","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1377550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1377550"}}}}}