{"entities":{"Q2266004":{"pageid":2276747,"ns":120,"title":"Item:Q2266004","lastrevid":71718198,"modified":"2026-04-14T00:05:26Z","type":"item","id":"Q2266004","labels":{"en":{"language":"en","value":"The connective of necessity of modal logic \\(S_ 5\\) is metalogical"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3893170"}},"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":"Q2266004$B490C0B3-6CD2-4A6C-8DD5-B97F05FEBA51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce5a9404f4d918f54aaeb321eaf088c208f70073","datavalue":{"value":{"text":"The connective of necessity of modal logic \\(S_ 5\\) is metalogical","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2266004$1358A085-A10D-4881-B872-B1B0991894E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba279e5592f07edf29a1686ee7e2339302fd6089","datavalue":{"value":"0561.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266004$70329AFD-6655-44ED-8377-6FB695C9E2CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a396c41f6749a0d2066455264e6e66c17ee18c4","datavalue":{"value":{"entity-type":"item","numeric-id":1097868,"id":"Q1097868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266004$F02DE256-BAC2-4D0E-A2F0-85D6EE1DB393","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":"Q2266004$00BA967A-448E-49C3-B5F0-D40EE0D479B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2266004$DDF9291F-ABD9-4BE9-A129-520F6B33A72D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3b407439878dfbd15be3b348e52a132b1eccbf7","datavalue":{"value":"A new one-place connective A is introduced into a language L for propositional calculus. A mapping * is defined from the extended language L(A) onto the sentences of L. * maps L-formulae to themselves and maps an L(A) formula of the form A(X) to a fixed classical thesis if it maps X to any classical thesis, to a fixed counterthesis otherwise. The set S is then defined to be the set of L(A) formulae any L(A) substitution instance of which is mapped by * to a classical tautology. It is shown that S is the propositional modal logic S5, and that the connective A obeys various rules which express metalogical properties of the underlying classical logic. An infinitary S5 is investigated, and a rule for A produced which is equivalent to Stone's Representation Theorem for Boolean algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266004$94340041-CD99-47CF-9547-A17A78C353B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266004$2FB4B390-93A4-4A3D-80AA-10F20A9E2F56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"612463cae2c2a07fb02ebbffea0c3298f82d8f98","datavalue":{"value":"3893170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266004$72741B4D-2FEE-4373-9832-9EEF44528695","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9147f93ab00145c4cb9103198fb94f37b26ce650","datavalue":{"value":"propositional modal logic S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266004$5093C0DC-1A52-4FDE-B01F-05E238243258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a98f9061d9d640458bf7d127876886f0a8a43d6","datavalue":{"value":"infinitary S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266004$6B83FC2B-4750-4ECB-9560-47EB2417C6CD","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":"Q2266004$2D98D945-2905-4564-A799-CC46C58E9068","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a4610a026ec39bfe97686c632d04171c747742c","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870385","type":"string"},"datatype":"url"},"type":"statement","id":"Q2266004$6F965844-8D8C-4296-87CA-20BFAB94B8A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50c31af9550db3925cd638a3ba0840ca94cab313","datavalue":{"value":"W2016567005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266004$0EC7CF63-FABE-4EAA-A2AC-81E1AD07EAC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12e660f82826851b2532d1d94dcffcfa624a9006","datavalue":{"value":"10.1305/NDJFL/1093870385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266004$D045F648-556A-46B0-A925-7F9AD57E1DEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c9462b625ca6196177b50e78959d5992dc4f2d","datavalue":{"value":{"entity-type":"item","numeric-id":1097869,"id":"Q1097869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6dfc223a78be8f3481adb424793cd5b58b1cbd6","datavalue":{"value":{"amount":"+0.794501781463623","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":"Q2266004$32F317D9-CE86-4A3F-9EBA-1FEAA2121B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42240049bd876ecbc16efe4b9b787cac603dfa73","datavalue":{"value":{"entity-type":"item","numeric-id":1092890,"id":"Q1092890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2315aff1c182729393c8e4e70aeb27474d3a3f18","datavalue":{"value":{"amount":"+0.7848110795021057","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":"Q2266004$5F90A14E-1749-4A6D-BB84-69BCE0C2E94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f312afd6628f63e151df6dcd2b686bd7105c8ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4023306,"id":"Q4023306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031ecd1eb72fb881009a01f91bf9a816f8d4783a","datavalue":{"value":{"amount":"+0.7709482908248901","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":"Q2266004$3646C448-8565-45AE-9D3E-44CBA2527B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8642e206903e64cb270966bd937b198fa52af7a5","datavalue":{"value":{"entity-type":"item","numeric-id":3676118,"id":"Q3676118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8802791cecea8652c09be61b1a12b5753afbff7b","datavalue":{"value":{"amount":"+0.7679703831672668","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":"Q2266004$BBD6F1A4-6B11-45F7-AB7A-95EE52E30A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc1f8856c39bd81b16f98bc3ad17e5c6196b3f0","datavalue":{"value":{"entity-type":"item","numeric-id":4731168,"id":"Q4731168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689da17cee9a2ea13ad595cf7937867d316a1a25","datavalue":{"value":{"amount":"+0.7609982490539551","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":"Q2266004$FE13F501-2776-461C-912E-DDC7A15E45AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The connective of necessity of modal logic \\(S 5\\) is metalogical","badges":[]}}}}}