{"entities":{"Q2366361":{"pageid":2377104,"ns":120,"title":"Item:Q2366361","lastrevid":78751148,"modified":"2026-05-06T12:21:13Z","type":"item","id":"Q2366361","labels":{"en":{"language":"en","value":"Decidable modal logic with undecidable admissibility problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223733"}},"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":"Q2366361$F01CC9AB-004F-41CF-A4BD-F665D12A30C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8692980094dfb9ff17ad05186bf40280f9984280","datavalue":{"value":{"text":"Decidable modal logic with undecidable admissibility problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366361$60832088-9F08-46E9-80BA-9ACB7ECD0E05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2dd41bfc656c3e4808e29a22def5e87b835e219","datavalue":{"value":"0782.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366361$0204F3DD-34C2-4869-B3B6-1A7F4075CE71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a775c67c5ddb91de4ece5bde2e9660428323cbc1","datavalue":{"value":"10.1007/BF02259858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366361$E1ABB78A-1F27-44E5-BC04-2A869E58B5B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366361$4CC1578C-A0CD-4427-AFB0-1A323DB7B1A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366361$9F76B29A-287B-4750-A836-8A9135DA2A40","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c36dee6e3c1406a379a905f188839b2418886fae","datavalue":{"value":"The admissibility problem for a given logic \\(L\\) is to determine whether an arbitrary given inference rule \\(A_ 1(p_ 1,\\dots,p_ n),\\dots,A_ m(p_ 1,\\dots,p_ n)/B(p_ 1,\\dots,p_ n)\\) is admissible in \\(L\\), i.e., for all formulas \\(C_ 1,\\dots,C_ n\\), \\(B(C_ 1,\\dots,C_ n)\\in L\\) whenever \\(A_ 1(C_ 1,\\dots,C_ n)\\in L,\\dots,A_ m(C_ 1,\\dots,C_ n)\\in L\\).   As is known, V. Rybakov proved the decidability of the admissibility problem for a number of intermediate and modal logics.   In this paper, the author constructs a decidable normal modal logic for which the admissibility problem is undecidable. The logic is an extension of K4 of width 3 and has infinitely many axioms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366361$E91C672B-C59D-440B-8DC2-715054909477","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366361$1F3A235A-5D0F-4926-9875-E698F5840570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366361$442FB021-CF79-4577-8D3A-E4BD7E9404AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03cf5cd28d76c3c191f25e7a8bc0b3667877e72f","datavalue":{"value":"223733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366361$3FE6AEBC-11AC-476E-B32F-5C8347DCE039","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366361$8C1D59F2-3AAF-4D08-843B-7C1159610CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366361$882670D1-D817-4DF2-9E33-10CEADBFCD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366361$0FCC3B13-D694-49A3-A75C-09B60D021169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6d81377bb9fe493e0b31a63d9717069578b5b3","datavalue":{"value":"normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366361$16A02C2D-11DD-44B0-B0C8-A6401EA4FFD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9766154da8868329ab713f56377e5e5d3217fc5","datavalue":{"value":{"entity-type":"item","numeric-id":1181480,"id":"Q1181480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366361$ED8DA4E8-68B5-47B0-94C0-CAC4A1440B41","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"603f9ee8942cd3c164aaecde91e2743415201170","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366361$487350C1-7C55-470A-98CE-3ACA99DE2219","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":"Q2366361$0B8784BC-5255-4E06-BDEE-FA9A0E0EDA71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f50cf1c481e0048606b0e1a50cf8f18bdb6ff1","datavalue":{"value":{"entity-type":"item","numeric-id":3032232,"id":"Q3032232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366361$A5C08524-F9B9-4B22-BCFA-D5F56C979E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366361$377A44AB-A2A9-48B9-85E4-186CA2EF25C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b11ddb5de051c0e8ff21fe4230b983e2e0101403","datavalue":{"value":"https://doi.org/10.1007/bf02259858","type":"string"},"datatype":"url"},"type":"statement","id":"Q2366361$2D245BB6-9489-4656-98D3-701F10F40794","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75640bb8bc98c67253be9786019c7a7290711287","datavalue":{"value":"W2028452607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366361$8E2B516B-5A9F-421E-8966-7B80513F4CF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92fc9c9e8e5322e5fd038edc77c8c05eb00f78e3","datavalue":{"value":{"entity-type":"item","numeric-id":868660,"id":"Q868660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb3708184828821cd917d62f97bc1cb5bba65b0","datavalue":{"value":{"amount":"+0.845289409160614","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":"Q2366361$A54CD1A9-9587-427D-A747-9D101B3FE805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36600e3c654c93d5b57797cb869f58f012d5253","datavalue":{"value":{"entity-type":"item","numeric-id":1327480,"id":"Q1327480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a66afd0001bbd63c9abab85ac3ce14ec856dea","datavalue":{"value":{"amount":"+0.8328042030334473","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":"Q2366361$AB983185-5D2F-4702-AFF6-1FDEE021D123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4802d5e6ee3275da5085db6abd241ef72488ace","datavalue":{"value":{"entity-type":"item","numeric-id":1317616,"id":"Q1317616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588155160ccd86f6fe9af5f4a598826bc88b02a0","datavalue":{"value":{"amount":"+0.8135332465171814","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":"Q2366361$D56BDAAE-EFBF-43BF-AE42-4A98660AF0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cd4f64baf572fcefc7b8a2490cd580d174ec88","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5108eba75bc69302a3fe07e4cc85b427b3070abc","datavalue":{"value":{"amount":"+0.8092178106307983","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":"Q2366361$91CD2E9A-9926-438E-B47B-D04A2462156C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable modal logic with undecidable admissibility problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_modal_logic_with_undecidable_admissibility_problem"}}}}}