{"entities":{"Q805607":{"pageid":807455,"ns":120,"title":"Item:Q805607","lastrevid":49514038,"modified":"2026-01-07T10:41:46Z","type":"item","id":"Q805607","labels":{"en":{"language":"en","value":"Undecidable properties of extensions of provability logic. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4204314"}},"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":"Q805607$67558BE9-679D-4B3A-8410-DD085C0F82D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7ac08e2ec370fa72b8600b9a2610d25267c07c4","datavalue":{"value":{"text":"Undecidable properties of extensions of provability logic. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805607$EA3DEC31-26E3-4666-8EFD-3FB60BE9DDF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4cc4f1ce40936d856ea994eeef3595c9e21b220","datavalue":{"value":"0729.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805607$9BD1CD1C-D772-416B-8AB5-F115338C2109","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcece737c4f24ee3865eb9fb9a3d240ab8f4c63a","datavalue":{"value":"10.1007/BF02215288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805607$68403B53-CFFE-4CEF-8823-15B2C9A44719","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":"Q805607$418C53D0-196D-4689-BFD8-951A2A261A03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q805607$C0593E92-9D26-4EF6-9E9C-A142716E56D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9fa237e6622823c498ef709637b1311e53a51133","datavalue":{"value":"[For part I see Algebra Logika 29, No.3, 350-367 (1990; Zbl 0723.03005).]    The aim of this paper is to study questions of effective recognition of properties of modal logics which extend the G\u00f6del-L\u00f6b system GL. Using some uniform emulation method for the working of a Minski maschine in modal propositional logic, the author shows that the following properties:    a) to be Kripke-complete,    b) to be the modal counterpart of Int,    c) to be closed with respect to the G\u00f6del normalization rule,    d) to be Halld\u00e9n-complete,    are undecidable. By the way, some interesting results of other kinds are obtained. For instance that there are \\(2^{\\omega}\\) maximal logics among the modal counterparts of Int extending the logic S.","type":"string"},"datatype":"string"},"type":"statement","id":"Q805607$9EA2FEB2-E821-4045-AECA-828C4DE955D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805607$B309A644-1190-4AAB-A24F-688EE92E23DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805607$C7DCBC6E-B858-4492-9E19-AE80417871E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805607$F9B74321-4F28-4BBF-B7FE-BB30FAE3B1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805607$879614FD-E383-4876-A53C-6CF6BF565963","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3aa09061b61fc893fbeae2d2bbbd9ead179fb805","datavalue":{"value":"4204314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805607$C5CDD6AB-9D17-4171-882E-7F1536D54AA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986792a2bb7cb68e614c4567722fff5c08a0356c","datavalue":{"value":"modal logics which extend the G\u00f6del-L\u00f6b system GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q805607$59222C70-2D33-4E44-9CD1-F3BD180D9365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28a33bb26efff593737b249f6f84d3ed2258b8dd","datavalue":{"value":"Minski maschine","type":"string"},"datatype":"string"},"type":"statement","id":"Q805607$9B586486-426D-4903-9BE4-068D3CCA3475","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":"Q805607$D2C7096B-044A-42AF-A2C0-01A01F5E4C91","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b4569bc40e6a72bfae622e1549e11d4577f6e6fd","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805607$8E4A8F9B-08C6-44BE-BB25-E3EB5CC1F7B0","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":"Q805607$1ED66AED-4257-435F-AE04-B05FEDFE6518","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"588537aaa1a7cffa5feee1c6395d04946bc49ba8","datavalue":{"value":{"entity-type":"item","numeric-id":757339,"id":"Q757339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805607$90F89C09-FDDD-44CA-88DC-40FD29416F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ebcb581746ff3056945fa63a66e3dcfaa65027","datavalue":{"value":{"entity-type":"item","numeric-id":4198476,"id":"Q4198476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805607$9E97383F-F27C-494C-9922-2801E9CF2D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a97898fde0805fc296646903d53fa82d1337b7","datavalue":{"value":{"entity-type":"item","numeric-id":1821771,"id":"Q1821771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805607$5ADAE8B8-BB57-43E1-AC64-95F9EDD22A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8796af42cab99ffa5389172e5fe7c27825970261","datavalue":{"value":{"entity-type":"item","numeric-id":3914958,"id":"Q3914958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805607$1AD6E9DD-F643-4E68-959D-C0A3AFC88B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a37d2822e51e5b6d30fa7a8fa9421c5332b540b","datavalue":{"value":{"entity-type":"item","numeric-id":3927210,"id":"Q3927210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805607$6896A869-8293-4297-9D01-2CA2A26BEC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4d324bc6273766a52bb608ca79459be84f9c49","datavalue":{"value":{"entity-type":"item","numeric-id":3784045,"id":"Q3784045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805607$00D5C2CE-E807-4316-8466-B11320393C32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d1c3cbd4d1691a40b1a37c11920126ea05bf71b","datavalue":{"value":"https://doi.org/10.1007/bf02215288","type":"string"},"datatype":"url"},"type":"statement","id":"Q805607$8D459141-3A1A-4091-B2AE-2E70BA8E4264","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"919d25d7c9bfa4bd62f6243bd7e38d715cbe9641","datavalue":{"value":"W2054049955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805607$EF55AD66-65C4-4294-9532-F3ABFD4E0D5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3e79a6175c639ed75d8b0aa9af52759c22e853","datavalue":{"value":{"entity-type":"item","numeric-id":757339,"id":"Q757339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d14e99ce282b72c08bc514e182901a152c2ab9c6","datavalue":{"value":{"amount":"+0.9221570491790771","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":"Q805607$3D561986-C5DB-4897-A8A6-6FD16F5EB803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493344fa26c059dcc037ce9b245ae67af6dc9c39","datavalue":{"value":{"entity-type":"item","numeric-id":4276033,"id":"Q4276033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ec4ce792b92ea6fde61ad51f77d8260ecdc6e5","datavalue":{"value":{"amount":"+0.8379362225532532","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":"Q805607$59D9717E-0A8E-421E-BB4C-BDFB1A00436A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1219447e0f3d0c51aa214b2fd641ee3f19699552","datavalue":{"value":{"entity-type":"item","numeric-id":1311486,"id":"Q1311486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98069972a5ff11b89d010f24553463edaa39f02","datavalue":{"value":{"amount":"+0.8377258777618408","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":"Q805607$C127F7AB-6A9E-40D0-B9EE-D80FB9742426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e29546be3e8574f3e84170fe92d3503baa4a059","datavalue":{"value":{"entity-type":"item","numeric-id":4866422,"id":"Q4866422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17928a4dc6b32431dc70004d73bdcfa39751c78a","datavalue":{"value":{"amount":"+0.8254411220550537","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":"Q805607$73E89B2E-C077-422F-A64D-42744656DBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0b4fb6948c8f54dc67ea16bd08a699892a658a","datavalue":{"value":{"entity-type":"item","numeric-id":3731573,"id":"Q3731573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d82846b97e63035fcb9ec6877aee2532ba1c70","datavalue":{"value":{"amount":"+0.8250691294670105","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":"Q805607$DA1ED8BC-78E2-4302-8299-10498021DB1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:805607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:805607"}}}}}