{"entities":{"Q4378052":{"pageid":6407651,"ns":120,"title":"Item:Q4378052","lastrevid":108324926,"modified":"2026-11-05T22:31:45Z","type":"item","id":"Q4378052","labels":{"en":{"language":"en","value":"Provability logic\u2014a short introduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1121145"}},"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":"Q4378052$D5B543B0-2B9D-42B1-9E03-F1078FB47710","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b78ad0c9e41f892c41af2f67d29b3b7181b09e7f","datavalue":{"value":{"text":"Provability logic\u2014a short introduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4378052$2739AAC5-1526-4F62-B16F-404FD16B229F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdb0e65f01ed110e15d70caa7187d388a25a5806","datavalue":{"value":"0897.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$CD17FFBA-3D23-4911-A8D6-B44698321ED5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a724190e228a348c5335d77831f25795618ecb7d","datavalue":{"value":{"entity-type":"item","numeric-id":2598616,"id":"Q2598616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4378052$907671B1-3143-4351-817B-E8376365C028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a674c4e1e8cb8fe7790fbdbe393a9377aa1d860","datavalue":{"value":{"time":"+1998-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4378052$F5EECF28-4F26-45F9-AD64-200EA6FE6FA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$62C82CCC-C858-4424-91DC-6F3D72C872F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$DA74243D-F10B-41D8-A8D1-163DD05A1ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$5C4CE98C-96F7-4866-8618-CFF0D32F37E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bbc5d0f04e957c0092ddb650f02f9e2b291fedb","datavalue":{"value":"1121145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$8A58EE1E-88F0-484F-BDD9-CBB7158F98F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"045702beb27c7e9aaf1bc601422bdbea9bc4fcf2","datavalue":{"value":"fixed-point theorem for GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$EC6C7C22-2263-4ED5-8922-E8076286DE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$D3444D67-16FF-4754-AA42-C6F8F730247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$895EB9DB-E62B-4097-BE98-6C6346CA644E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$97B3D588-4BB0-418B-9DE2-A05F65CFC977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94fff17ab327d4d113d366b1d018bbb72a943b1e","datavalue":{"value":"bimodal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$AFAAB7F5-C7E2-49F1-A5F6-46A973D4C6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$1CE470C0-44BB-4DE2-9BC2-D7C5F2A43943","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":"Q4378052$1EABB9E9-9678-4EDB-9331-6E4071FA3DF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1d2ebe1016627fc1d446cb564902726adc1292d","datavalue":{"value":"https://doi.org/10.1111/j.1755-2567.1996.tb00529.x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4378052$5F179415-BB77-4ACD-A021-F0DFE27C08F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e5820b16d446888188026514296918e2489ff17","datavalue":{"value":"W2132041470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$AE966B2D-9174-4CD6-AE95-2404ED5BB639","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"418878e1451c9ae42d003beebb520dc8827bc29c","datavalue":{"value":"10.1111/J.1755-2567.1996.TB00529.X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$24E4E873-2EED-41B2-BAAB-55EEEEDF6F20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"162e0d084645b340ee4f43a1c5c928641727f27a","datavalue":{"value":{"entity-type":"item","numeric-id":6481406,"id":"Q6481406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4378052$90B25EB8-6870-4681-ABEE-02B171808563","rank":"normal"}],"P1643":[{"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":"7c58cbaef49b961d2059e73c75e96cf8d8553a79","datavalue":{"value":{"amount":"+0.903668999671936","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":"Q4378052$6304EEC8-280C-43E0-89D7-D1409F3DFB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43415e4311c55c2a9c0972a4e8e9ebb30b24dc61","datavalue":{"value":{"entity-type":"item","numeric-id":3442955,"id":"Q3442955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d83393e050c4d1fad56db7793fdcdcdfb42f58","datavalue":{"value":{"amount":"+0.8579906821250916","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":"Q4378052$9FCD04DB-C3BD-4A75-B061-09D5A5E21EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60d263e09383f9e540728d570eeab690d33d81c","datavalue":{"value":{"entity-type":"item","numeric-id":3447197,"id":"Q3447197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aefef478e08ae1831058f237d1f56bea921a0ef","datavalue":{"value":{"amount":"+0.8531156778335571","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":"Q4378052$F2DC6904-7C59-4DBD-9040-092DFAB7FFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d2469fb9d39451f01a469e85c0232cd6dba31f","datavalue":{"value":{"entity-type":"item","numeric-id":4490140,"id":"Q4490140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6939805c1f81cd3d4c36dc0f5a17410e947ea256","datavalue":{"value":{"amount":"+0.8434463143348694","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":"Q4378052$36802D42-A455-4521-B930-0B4282E80B16","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"690254a19d0a08415e1bb5c7b040b7921676e895","datavalue":{"value":"Provability logic is a simple modal description of the famous G\u00f6del predicate Bew. In the paper, the author gives a self-contained description of provability logic. More extensive and detailed introductions to provability logic are given by \\textit{G. Boolos} [The unprovability of consistency (1979; Zbl 0409.03009)], \\textit{C. Smorynski} [Self-reference and modal logic (1985; Zbl 0596.03001)], and \\textit{G. Boolos} [The logic of provability (1993; Zbl 0891.03004)]. Some of the results presented in the paper do not appear in these books. The paper is divided into fourteen chapters, the eight first ones presenting Solovay's completeness theorems. The main themes of the first four chapters are: Bernays-L\u00f6b conditions, arithmetical interpretation, arithmetically valid and \\(\\omega\\)-valid formulas, classical modal logic, Kripke models, local reflection principle and the like. In the fifth chapter, the author gives a simple new proof of the fixed-point theorem for the system GL (G\u00f6del-L\u00f6b). In the sixth chapter the proof of Solovay's completeness theorems are given. In the seventh and eighth chapter, the author presents some examples of applications of the former results (Rosser's theorem and Goldfarb's principle; modal rule of inference). The ninth, tenth, eleventh, and twelfth chapter include some bimodal logics (for example interpretability logic IL). Chapter 13 concerns quantified provability logic. The last chapter is devoted to some related topics, for example interpolation lemma, Beth's definability theorem, classification theorem of Beklamishev. Most of the results in the chapters 9-14 are given without proof.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$B721096A-D96F-4D1C-B364-0377ECE19514","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Provability logic\u2014a short introduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Provability_logic%E2%80%94a_short_introduction"}}}}}