{"entities":{"Q685073":{"pageid":686922,"ns":120,"title":"Item:Q685073","lastrevid":47188015,"modified":"2025-12-31T23:06:02Z","type":"item","id":"Q685073","labels":{"en":{"language":"en","value":"The analytical completeness of Dzhaparidze's polymodal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416883"}},"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":"Q685073$4759D05F-06E6-40E2-B5BD-253E73EB7CED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2006f0cbd5f2ce592f5e8f478c5c4b54dd01e836","datavalue":{"value":{"text":"The analytical completeness of Dzhaparidze's polymodal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685073$4B942F23-F537-4CE7-8CC1-F8B6743FD1E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dc9688b5b74e8018375ab2ba7a1cd209f28cb0f","datavalue":{"value":"0783.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685073$134BAE73-4D1B-4835-9F20-DED1CF65FA67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78f3f1ed783508adc927a4e54248831da8998a00","datavalue":{"value":"10.1016/0168-0072(93)90200-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685073$73ECE65B-8B3B-430F-AE19-A528F9DCB94B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dae5d6cf705e82161555573be309f7a5a5d53fa9","datavalue":{"value":{"entity-type":"item","numeric-id":685072,"id":"Q685072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685073$1CC35DF5-B692-4A48-A59A-E00AD9FA6430","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685073$A2929408-188A-4C48-83F3-21870A2CB06B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6918393775fb1c8826438f5277bce44cf6f24c36","datavalue":{"value":{"time":"+1993-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685073$59C6976D-19DF-4F36-BC2D-4B5A34CC0DC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ef74549f1257f11c24202522f6c131534c165ac","datavalue":{"value":"The bimodal propositional system GLP introduced by G. Dzhaparidze in 1985 has \\(\\square (A\\to B)\\to (\\square A\\to \\square B)\\), \\(\\boxdot (A\\to B)\\to (\\boxdot A\\to \\boxdot B)\\), \\(\\square(\\square A\\to A)\\to \\square A\\), \\(\\boxdot(\\boxdot A\\to A)\\to \\boxdot A\\), \\(\\square A\\to \\boxdot A\\), \\(\\neg\\square A\\to \\boxdot\\neg\\square A\\), and all classical tautologies as its axioms. Inference rules are modus ponens and \\(\\square\\)-necessitation \\(A/\\square A\\). Dzhaparidze proved arithmetical completeness of GLP with respect to reading \\(\\square\\) and \\(\\boxdot\\) as `is provable' and `has an \\(\\omega\\)-inconsistent negation'. The author proves completeness of GLP with respect to reading \\(\\square\\) and \\(\\boxdot\\) as `is provable in second-order arithmetic' and `is provable in second-order arithmetic with \\(\\omega\\)-rule'.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685073$C1228902-01AA-4AA4-B849-53E2154C833F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685073$01DE9C33-B0D8-4C87-9C6E-6B5EC4E6841C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685073$ED367122-A356-48DF-929D-79AC2B324B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685073$D8F618F2-367D-406D-AA04-BCEB47FA8326","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"035e6a6d669f177f717fd7c45aaee0c4340af8a9","datavalue":{"value":"416883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685073$FFF1F703-1928-4981-87CF-99D425B5110F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685073$36CCF425-BE3F-490F-A660-A5BFFC0CADB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b672392ca2e0497d356dee39c413c199f08846da","datavalue":{"value":"bimodal propositional system GLP","type":"string"},"datatype":"string"},"type":"statement","id":"Q685073$22241D8A-C8DD-4978-8AC2-4D5520E74E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q685073$6B695B73-1BE1-4C6C-9CB8-7FB77626C35D","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":"Q685073$9703BD75-0C0B-4770-ACDC-1E4A711AD5FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82510085048b7da99596b08173af84cfee5e936a","datavalue":{"value":{"entity-type":"item","numeric-id":3998431,"id":"Q3998431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685073$3726C83D-9CAE-489C-8BF3-6077C519CAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7021b8f12a8870837b2ed06bf45c0e1a122b683","datavalue":{"value":{"entity-type":"item","numeric-id":5202654,"id":"Q5202654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685073$1AA2F514-7F51-476F-A6DA-1921EE639EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2eabd3062c1ff3ceaead59b8eeae3c8424d7c42","datavalue":{"value":{"entity-type":"item","numeric-id":1176096,"id":"Q1176096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685073$8B232DB7-FED7-481A-BA99-E8EC1D374771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685073$4E5F82A3-E004-41FE-A6CA-985A6FCFCFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685073$1057EFD9-EF7D-4AEE-BEAE-C3FC529DD8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e48d35b1f338c242a6a0d557ee0e3a1ae096d1","datavalue":{"value":{"entity-type":"item","numeric-id":4398473,"id":"Q4398473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685073$617CA425-AB7F-4E1B-B1C7-5F0B6EFA2090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685073$4091DC43-5873-4338-8EB9-0EC5181F8F66","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"557dd7819d3a78564b05a32a6d2d6b5a41556710","datavalue":{"value":"Q126769904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685073$9C23D71F-B59C-4EC9-90DC-37438315E202","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527456668c396996d12e5016f26cd8b569b7b342","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b57009fd08b0d9337af8fda02971de9512a6d32","datavalue":{"value":{"amount":"+0.8346917033195496","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":"Q685073$81F3DF71-D2B7-40CA-94FF-E7CCE60E3D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564c547bd56ee78666c46b25fbf6a1777021d430","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78399fe3597fb26d9dde9d79594e4bb94df19cc4","datavalue":{"value":{"amount":"+0.8338772654533386","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":"Q685073$C5965DD3-80F1-49EF-897F-6D9A1949B517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d116d4dd22205644a1b3279c5fa3e988a2c509b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c7cd539cd42f16724dab33db84678813802280","datavalue":{"value":{"amount":"+0.827839732170105","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":"Q685073$9898E62E-F33B-4956-9576-43738D8BDFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be76f39f0d64b173c300d63bc10c9d55498fe93","datavalue":{"value":{"entity-type":"item","numeric-id":3081639,"id":"Q3081639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937a0ccf0a1d9f112f15e66d6ada4535a705514c","datavalue":{"value":{"amount":"+0.8257743120193481","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":"Q685073$35E70DEE-439A-44F9-AC23-0E9E6F996BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb078f3ca60e3de19dbe0e64e06b59d6bc5efb4","datavalue":{"value":{"entity-type":"item","numeric-id":3824286,"id":"Q3824286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd389f20bee8f47b826764578c55326eb9890655","datavalue":{"value":{"amount":"+0.8082484006881714","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":"Q685073$2DC114B1-3104-43AC-8DDF-6936A1EB94D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685073"}}}}}