{"entities":{"Q749522":{"pageid":751371,"ns":120,"title":"Item:Q749522","lastrevid":64130949,"modified":"2026-04-11T17:50:54Z","type":"item","id":"Q749522","labels":{"en":{"language":"en","value":"The modal logic of pure provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172949"}},"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":"Q749522$90FD89FB-E501-42E4-8FBD-BDF0D082C1F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c990e8225abd3e4e5609f90ab58bc5203c4017f4","datavalue":{"value":{"text":"The modal logic of pure provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q749522$70D6A69B-EB50-4C2E-824A-33C3622B3092","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"081579a3466bd54f35ea6ed41e9bff4f7cf61eeb","datavalue":{"value":"0713.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749522$C4D3E81A-9150-45FD-B4DD-7923051320A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749522$A5CC1AB8-1EF5-47E5-963F-DBDB1A475B08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749522$4CF627A0-359E-4A77-BA83-F6EE8756055E","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":"Q749522$3F3049C2-4C24-40B8-B930-31247FE49816","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"750c6e5e219ab02f9c378223f4ec78da849146c9","datavalue":{"value":"The author considers a provability-type interpretation of modal formulas treating \\(\\square\\) as ``provable in all extensions''. More precisely, let T be a consistent propositional theory extending classical logic (in the same language). For a modal propositional formula \\(\\phi\\), the predicate \\(T\\vDash_{PP}\\phi\\) is defined inductively:   1) if \\(\\phi\\) is \\(\\square\\)-free, then \\(T\\vDash_{PP}\\phi\\) iff \\(T\\vdash \\phi;\\)    2) if \\(\\phi =\\square \\psi\\) then \\(T\\vDash_{PP}\\phi\\) iff \\(S\\vDash_{PP}\\psi\\) for any consistent \\(S\\supseteq T;\\)    3) if \\(\\phi =\\eta (\\square \\psi_ 1,...,\\square \\psi_ k)\\), \\(\\eta\\) being \\(\\square\\)-free, \\(\\theta_ i=p\\vee \\neg p\\) if \\(T\\vDash \\square \\psi_ i\\), and \\(\\theta_ i=p\\wedge \\neg p\\) otherwise, then \\(T\\vDash_{PP}\\phi\\) iff \\(T\\vdash \\eta (\\theta_ 1,...,\\theta_ k).\\)     The pure provability theory is defined thus: \\(PP=\\{\\phi |\\forall T T\\vDash_{PP}\\phi \\}\\); this is not a logic in the usual sense because it is not substitution-closed. The author proves completeness of PP w.r.t. a Kripke model, constructs an (infinite) axiomatic system for PP, and gives a deciding procedure. PP differs from arithmetically complete provability logic as well as from non-monotonic systems treating possibility as ``consistency'' [cf. \\textit{D. McDermott} and \\textit{J. Doyle}, Artif. Intell. 13, 41-72 (1980; Zbl 0435.68074)]. However the author hopes to investigate applications to non-monotonic logics in the future.","type":"string"},"datatype":"string"},"type":"statement","id":"Q749522$A9D0F5B3-254D-4FDF-B8D7-65176AADBF88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749522$C668274C-AD23-4357-A05E-5D0CD71CC74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749522$6E9A9F83-912A-4C0D-8757-6FFD29EF115F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749522$94C6089D-EC12-4C5D-87D7-D505682E75E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b58f391224cfba3172cd6e8c2ffb62ea7fa8e910","datavalue":{"value":"4172949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749522$B81F1CDA-AA1C-42C3-ACED-FAD911A0262D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q749522$C249755B-9942-4920-8319-C4204E8AF9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76345d9fd5d989ac2b9380b93823b61ac7c0578e","datavalue":{"value":"propositional theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q749522$F5FFC869-5325-43BE-A05D-E5BC3CFD662A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q749522$738F8CB5-6502-40F9-AA5E-94F9264FD169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbcce5d958a0130862ba486d8886f3214101b0c","datavalue":{"value":"S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q749522$F222531F-7AAA-4F98-9926-0FA71B52A608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9386b7cb470f46f99794f072b5f80a1d94581413","datavalue":{"value":"Grzegorczyk axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q749522$9591AA84-F1F9-4816-AF37-01EDA6DA9C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q749522$8404B1FC-5823-4829-8A9A-6E308D4AE0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q749522$26541263-8624-40CB-BD92-DDE5D6C921A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45d84572ec056f47af051076492891ac636faa00","datavalue":{"value":"non-monotonic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q749522$6052AA83-133B-4BE7-9E78-99DDBADFD214","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":"Q749522$4B81D0DE-507D-461E-A9FB-07DC6F8F3D3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ab6bbd24a2edcbeb44167f1abc2837a9484d2fd","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635417","type":"string"},"datatype":"url"},"type":"statement","id":"Q749522$2DE0DAE5-F3F0-41FC-ADE4-E1155D5CCE09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b46aa532dac4337e766465bd366301e3d48a7169","datavalue":{"value":"W1996093895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749522$222FAD5D-BD50-4E44-9AA4-7C94732520FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93c87ee7102e0810655f3e1ba64eb44fafffdddc","datavalue":{"value":"10.1305/NDJFL/1093635417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749522$44095345-1231-4B8C-BEF4-49B12817F0D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed07df2b1f6110a584710411b3ff8f5d475f1c8c","datavalue":{"value":{"entity-type":"item","numeric-id":4283226,"id":"Q4283226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab4aace84adf84eec37c61187d3c12dbadc3eed","datavalue":{"value":{"amount":"+0.7969463467597961","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":"Q749522$48894738-6DE4-4086-84C1-50BC76B8D6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c6bf2e0f75f1324d872302ebcef2d71dde4f9d","datavalue":{"value":{"entity-type":"item","numeric-id":579232,"id":"Q579232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb537a685b92f0974ebb48ad39e728623e60e7ad","datavalue":{"value":{"amount":"+0.7933691143989563","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":"Q749522$37133512-2A48-4CFE-A6BE-E930741699A4","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":"a504be5fedbd949cdfd70bb7a0df1b2e853b4032","datavalue":{"value":{"amount":"+0.7851863503456116","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":"Q749522$DC150C07-9E2F-4CAC-9771-BB36412516EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971086f18ce8ecf62f3bf42e55d3a0f77adca487","datavalue":{"value":{"entity-type":"item","numeric-id":5203005,"id":"Q5203005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf71f8ecee769d361c9fb36247a571f9787e5e4","datavalue":{"value":{"amount":"+0.7847009897232056","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":"Q749522$9733AEE4-ED86-4258-AB53-67250B68B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797cc73b05e1037d1693a29fa318e052425857db","datavalue":{"value":{"amount":"+0.7827097773551941","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":"Q749522$EA7F232F-DB81-434C-B3F3-8018C300E6A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The modal logic of pure provability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_modal_logic_of_pure_provability"}}}}}