{"entities":{"Q757339":{"pageid":759188,"ns":120,"title":"Item:Q757339","lastrevid":42677450,"modified":"2025-07-08T09:44:07Z","type":"item","id":"Q757339","labels":{"en":{"language":"en","value":"Undecidable properties of extensions of the logic of provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191594"}},"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":"Q757339$8A5DF15F-9883-415A-BA95-E4D65F2B2471","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1e5eb2b6c334818513ba3afc6149d7f6a34bbe3","datavalue":{"value":{"text":"Undecidable properties of extensions of the logic of provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757339$9CBA4D00-3EBA-4CB0-B685-47D21DED8527","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36436e9195ec38b20440eea2f3f81574aaa6fa00","datavalue":{"value":"0723.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757339$65A9870C-D7EC-4AFF-87FE-A1E11C16BD22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fa5950fa1fb4d47c56ed11d1c139f8aab0c5354","datavalue":{"value":"10.1007/BF01979939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757339$C3CF4672-8E84-4117-8DCB-C4350DDC79BA","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":"Q757339$08A5FE21-9888-4A6A-B6FB-1BAC4DD42573","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":"Q757339$30C0C027-FF1C-4832-9D97-31D4372AB39A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ed034b95f5fc60635831f0b921323afcd46e9f46","datavalue":{"value":"The author studies problems of effectively recognizing a number of properties of modal propositional logics extending modal provability logic GL. By using a specific technique of Minski machines, the author proves that properties such as: a) to have the finite model property, b) to be decidable, c) to have the interpolation property, d) to have the disjunction property, and some others, are undecidable for modal logics \\(\\lambda\\), with \\(\\lambda\\supseteq GL\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q757339$82197E7C-4C0B-4E2B-8DE5-B15D739CAFA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757339$E5EDFC0A-0C27-4A12-8DED-AACAE8CC43E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757339$E908045F-58C2-4918-8DF1-E0B18E2EDA2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4048cd693aba4789a2af867eb88fabe27f45d6bb","datavalue":{"value":"4191594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757339$604DEB74-E7E9-4A93-B764-5AAD2ECE8E13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bd89da18ce2fdc40b3da752d4dbda2163e98b12","datavalue":{"value":"extensions of provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q757339$BFE7EF33-6A77-45DF-988E-91502F3449A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q757339$A76CFE46-0EDE-4572-9CAB-57305A08A3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c6942b80156f5b9484d57d6ae33115aea17255","datavalue":{"value":"Minski machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q757339$58A98AF6-C661-4D2B-A6BE-718B289438BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q757339$A73DF6FD-1791-4DEA-9EA2-247D551C0CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q757339$20C83ADE-4AF7-482E-9BAB-4B8344B9A4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q757339$F05D162F-AC01-489F-A8F8-3170558678CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q757339$CE7256A7-8529-4F31-B663-CF65042A3C22","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":"Q757339$CCFE29E0-73E8-4557-85C3-136D7B85D239","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":"Q757339$327F1A0F-8D38-45AA-9347-EA66E6646774","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":"Q757339$9A4577FF-1E42-4572-901F-94DE20BDDBA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc325a5e5dc110f4ca337eec6699a26e8de27fd","datavalue":{"value":{"entity-type":"item","numeric-id":3731573,"id":"Q3731573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757339$D70F3906-64A4-494C-842E-51C53E9B8EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757339$A0C81C83-0618-4F27-813F-1B76F1A9C073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebbd9d381e447bcccdb18b95a6c975407a91cadd","datavalue":{"value":{"entity-type":"item","numeric-id":4172036,"id":"Q4172036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757339$85F94313-B9F2-4036-9D56-9720E4F195BF","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":"Q757339$EA03AFCE-5FB4-46C3-9634-4998DE7E14F6","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":"Q757339$E26921F2-5869-4E01-8860-479C710BE738","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":"Q757339$E9A6FC61-1E02-4C0F-BBB5-3C46579AC7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757339$B2A354BF-A730-4B83-9569-118633950BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131bf4f50d9e047552a1b8d23a5314c1af075964","datavalue":{"value":{"entity-type":"item","numeric-id":3875897,"id":"Q3875897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757339$31ED0FE3-651F-4687-80D9-B2106F602504","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9efd4c5931241b71cc2371d2e3ceb5535ee6e2","datavalue":{"value":{"entity-type":"item","numeric-id":805607,"id":"Q805607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b367a19c020fb11f95624ba3c72a94cf419905","datavalue":{"value":{"amount":"+0.97913796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757339$CDC0F180-DAEA-4F36-B666-8B5F3F905F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7a8383d2a68bea8281859b24922936482b9271","datavalue":{"value":{"entity-type":"item","numeric-id":3189649,"id":"Q3189649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0556feb856b75db6eb49d27bbec8fd6d8857b9","datavalue":{"value":{"amount":"+0.927583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757339$55122012-FC44-480C-B72D-FA6F7D006CCD","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":"5c895a0736a6c7033fef006cdba6797d92bdc4bf","datavalue":{"value":{"amount":"+0.9241154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757339$DD7E03A7-EC6E-42EE-BD96-E5A81E237542","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":"6f57710729fc821d59caec879633cd4b77740c3d","datavalue":{"value":{"amount":"+0.9236369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757339$407AEF9B-6DA7-4A5E-A04A-C4288F5F4D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16d2ee0384adde2b477e48e189c2416a99e4645","datavalue":{"value":{"entity-type":"item","numeric-id":4644571,"id":"Q4644571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57cdd2323db141bef1c2d6b160afdc00be201902","datavalue":{"value":{"amount":"+0.9121849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757339$9EEE6B91-A668-48F7-BF0F-A39D1E314F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20cb359b3422e03ba33a67680dd8572ec9645659","datavalue":{"value":{"entity-type":"item","numeric-id":5092565,"id":"Q5092565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f462dd295f1c76107c31626a69d2ef7b7d26976","datavalue":{"value":{"amount":"+0.906617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757339$680912A5-D37D-400C-A3F1-422917A5C566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbccae06c8006755b7d9c5e9a2ca64089e33274","datavalue":{"value":{"entity-type":"item","numeric-id":1815411,"id":"Q1815411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587f15895d7c371c8ef36336d19944eae172e825","datavalue":{"value":{"amount":"+0.9050774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757339$8F827BE1-BAED-49D5-B9FE-735CBE92D0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90e224184897121cc780ad85950b8c5062bcda5","datavalue":{"value":{"entity-type":"item","numeric-id":1406443,"id":"Q1406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce96bc630fb1ceed113feb0bd1368956ab2665a","datavalue":{"value":{"amount":"+0.9040154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757339$CAD42577-1433-4754-999D-B187C265FACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529f0e58fc23fe8fb5f187ffefdb6f6dd8b70ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2914598,"id":"Q2914598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734a7b830010907de7d27a0e6a21726ddc534fe3","datavalue":{"value":{"amount":"+0.9035115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757339$1AA95417-632B-4AD0-B35F-36E6051AC827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c383885fc1a6393493fa6c5302743d4e9d04845e","datavalue":{"value":{"entity-type":"item","numeric-id":5415296,"id":"Q5415296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f2cbf423fbacf5868c889263ab9c559664c06b","datavalue":{"value":{"amount":"+0.90176105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757339$93ADC97C-F00B-4F5B-8D36-0F82369C1FEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:757339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:757339"}}}}}