{"entities":{"Q1820765":{"pageid":1831507,"ns":120,"title":"Item:Q1820765","lastrevid":70909002,"modified":"2026-04-13T18:10:42Z","type":"item","id":"Q1820765","labels":{"en":{"language":"en","value":"Logics of some Kripke frames connected with Medvedev notion of informational types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995632"}},"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":"Q1820765$0F657AED-E9AB-4F60-80EB-7D66B42E621F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cf67e6204d181bc2d7ff9ca4f451aaba3bea6be","datavalue":{"value":{"text":"Logics of some Kripke frames connected with Medvedev notion of informational types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820765$D0CCB02C-F4ED-401E-A5BC-DF079F51FBC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3622ec75d55f251cc09c4ba4dd78d7ff44596b45","datavalue":{"value":"0615.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820765$0F2301E4-1F34-46EF-93E3-09976609E18F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b62ee928c1f2e0ec79fff3960c0c8fa334314425","datavalue":{"value":"10.1007/BF01881552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820765$40B5829F-0FB9-454A-B76B-68855B36B0E0","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":"Q1820765$2540CD7B-2ADB-4B65-94C5-948B226F0FB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1820765$4E0722B1-53DF-423A-A5B3-2F0F2623EF65","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5cb221ed64834096589a3cbf2c284d09ebd642c","datavalue":{"value":"The intermediate propositional logics we consider here describe the set I(\\(\\Omega)\\) of regular informational types introduced by \\textit{Yu. T. Medvedev} [Semiotika Inf. 13, 109-141 (1979; Zbl 0485.03002)]. He showed that I(\\(\\Omega)\\) is a Heyting algebra. This algebra gives rise to the ''logic of infinite problems'' from the second author's paper [Dokl. Akad. Nauk SSSR 245, 798-801 (1979; Zbl 0438.03028)] denoted here as \\(LM_ 1\\). Some other definitions of negation in I(\\(\\Omega)\\) lead to logics \\(LM_ n\\) (n\\(\\leq \\omega)\\). We study inclusions between these and other systems, prove \\(LM_ n\\) to be non-finitely axiomatizable (n\\(\\leq \\omega)\\) and recursively axiomatizable \\((n<\\omega)\\). We also show that formulas in one variable do not separate \\(LM_{\\omega}\\) from Heyting's logic H, and \\(LM_ n\\) \\((n<\\omega)\\) from Scott's logic \\((H+S)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820765$39912BE4-922B-44A9-9E0C-06612F9198B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820765$C64FA5FD-35FF-4848-A671-D77D3FB68B2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19500a562a35b2ac1e05739d3be1277916a3117b","datavalue":{"value":"3995632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820765$309A6EF4-91E0-4DB4-8FDC-00B6FB443D54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820765$6F49C9C7-F3F4-445C-B01C-6CB185F9E8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"844982ebebe88ce0efe8b7fb70d507804d83e99f","datavalue":{"value":"intermediate propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820765$F31AE5A7-8A30-4944-AB4E-906EB7F144E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dfad0c1b2394df9017740bf6cde99194da12c25","datavalue":{"value":"regular informational types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820765$C776A139-4154-4564-9BE6-CE10FD19C5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820765$F3790F18-05F0-4E83-8E6B-39DC7F68D308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2091eef8569c9cfc8bc6f462d08f90569e46dd7","datavalue":{"value":"logic of infinite problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820765$29708408-7822-4080-8DA8-CBD98E2B1A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfd3c541b4e8657aa3798f7523e63caccd6065e","datavalue":{"value":"Heyting's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820765$8EC034A0-45E7-43E4-AEFA-EE7A2A9F464D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ebe1ea9b2055637433d0b3237f562c4f1d468de","datavalue":{"value":"Scott's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820765$06D75230-04AA-46B1-B7FB-2F64BA24567E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54eb6f24cdec251693dac073683f53f8dacf64c","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820765$86A2D37D-9085-4903-B426-96EA09795FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e5c7a0fa17b322a9e2262053ffff4fc6798d1e","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820765$E0E12D56-0FB2-4AE0-A950-5389D425ECF9","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":"Q1820765$89814C0D-F621-4696-8784-B5D0CC4D4A2C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820765$A9683702-F54E-4C06-82D6-C58BCB63A769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ff54b18fa1fec0697ec7172157585af96a73e7","datavalue":{"value":{"entity-type":"item","numeric-id":3091953,"id":"Q3091953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820765$E1A8B3ED-AA71-4A23-98C6-3EC3D3938870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee3492c0711dfa1ec86a6f902706478cb1d4d4d","datavalue":{"value":{"entity-type":"item","numeric-id":969269,"id":"Q969269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820765$BF9C7B63-B7E1-4011-BA31-C84C5180C957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2c59f623961c0546ef9ca9945d77ef79c3bac2","datavalue":{"value":{"entity-type":"item","numeric-id":4109656,"id":"Q4109656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820765$BD605D18-B78F-4BC9-BFE2-1F63527C3CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820765$68BD0D38-D4B0-4767-808D-41F87B891512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14d473b17b76e9069e2128d7a1079b30d8eac4","datavalue":{"value":{"entity-type":"item","numeric-id":2548955,"id":"Q2548955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820765$94EA3C02-A486-467D-88E6-A897F7F3AFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f38ff966350be19068835b6a1502cc0a672c99","datavalue":{"value":{"entity-type":"item","numeric-id":3506242,"id":"Q3506242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820765$99188CA7-5DF4-4015-AAF7-ADAA87602F12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29afbe51eee5703b2b7e8ac5bd95abc9130317e5","datavalue":{"value":"https://doi.org/10.1007/bf01881552","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820765$17FF40BA-2AF9-4F75-8DF6-4A80BA382D33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7de8ff358fd862cb00987b75a7bcc1edc2afdbe5","datavalue":{"value":"W1976647940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820765$43A28F1C-D9D3-4165-9AC7-6156259459A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc1a9d6be4795a4600d688c3cd68e23baf57ebf","datavalue":{"value":{"entity-type":"item","numeric-id":952483,"id":"Q952483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03476dc462167c7a13db105cd1abe64e20a900d8","datavalue":{"value":{"amount":"+0.782759964466095","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":"Q1820765$C2DF833E-BD22-44AB-9E87-9DB1D59F20FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda89503563dc16093012305a0b3a092d53a9a4f","datavalue":{"value":{"entity-type":"item","numeric-id":5413352,"id":"Q5413352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84dad7459441df032fc2da10169906c60db94767","datavalue":{"value":{"amount":"+0.7773556113243103","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":"Q1820765$35A508AC-0800-4BB3-95F3-E05E3693098C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f81cc5f4859fdf9ccbdadb8d68b3b38128a5822","datavalue":{"value":{"entity-type":"item","numeric-id":3312202,"id":"Q3312202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c76509616ff9bbbb5b2160c1ffd72e9756ddbe","datavalue":{"value":{"amount":"+0.762503445148468","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":"Q1820765$E4FCF0E7-03FC-4432-B908-B04024047F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487c159cf1936a97e65bb87fac75bcc8c2766801","datavalue":{"value":{"amount":"+0.761626124382019","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":"Q1820765$626E1067-DBBE-448C-84F9-E52796A62374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0903965a9c0cfe11f2fc27ec1972889b50d9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":583197,"id":"Q583197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ea6021a90d18d4bf157a5451179c7705daa2ea","datavalue":{"value":{"amount":"+0.7553863525390625","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":"Q1820765$F9E515E1-8E73-4CE0-B9E2-FF2D301548F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics of some Kripke frames connected with Medvedev notion of informational types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_of_some_Kripke_frames_connected_with_Medvedev_notion_of_informational_types"}}}}}