{"entities":{"Q1035652":{"pageid":1037500,"ns":120,"title":"Item:Q1035652","lastrevid":66597201,"modified":"2026-04-12T11:11:45Z","type":"item","id":"Q1035652","labels":{"en":{"language":"en","value":"Around provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5624906"}},"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":"Q1035652$9808FCFE-87BF-443E-B998-5B6B9B8390EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d08fa7d5530ccaf5d76e8455e4830ccf82c77d3e","datavalue":{"value":{"text":"Around provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1035652$2EE7CA4E-4F96-4C0B-BC55-EE79C5528B4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"452b3397f9e744175e8745b74791102d787b66aa","datavalue":{"value":"1181.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035652$13BA7F02-BB33-42B2-BB54-6D816E6FBDED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"026e455a402c15c7cc3bd3d5ce05760db74a42d3","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$77BF34E6-1153-4C84-9EB6-EE0175D8EAA8","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":"Q1035652$D606C7A7-0768-482C-809E-AED9EC1EDCEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1035652$75EA04AA-E1E2-4448-B1C6-E1765388BCB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b138e619c73b625f2a2df975ac9c21cf39b301d","datavalue":{"value":"In this paper, the author presents some results on algebraic and modal analysis of polynomial distortions of the standard provability predicate in Peano Arithmetic. The basic modal system for the distortions is shown to be K4.Grz, on which (the modal versions of) notions such as demonstrability predicate, G\u00f6del's Second Incompleteness (g), and weak L\u00f6b axiom (wL) are characterized by certain specializations respectively. Among other interesting observations, the well-known modal system GL is shown to be axiomatized as K4.Grz+(g)+(wL), while the two axioms are, on K4.Grz, independent from each other. The paper includes also a description of the dual category of K4.Grz-algebras and a short review of relational and topological semantics for these modal systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035652$B88298DA-675B-4AF3-847C-00C1488C50F5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$66F3C789-8487-4024-8A91-8265D104D2E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035652$2BB7F71E-7824-4C13-95B7-09648B05925A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035652$AADFCAAE-870B-4B76-B00A-4E8723612497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035652$AA4D4929-CB89-4CCE-9B54-1F975BA2EC3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c12538e37f8176f4c8dc79ff1615ec722399c16","datavalue":{"value":"5624906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035652$2957DCA2-F67D-4059-A4AE-EB71B50B779A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035652$C1435E5D-97A5-4C61-96FD-0DFA0639ADF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035652$4AA5D174-6824-4735-B681-BC0E63251DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd195618975a5773a609e7679d204d0191e5de0e","datavalue":{"value":"distortion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035652$26D15383-65B5-4943-B1ED-1498DA82AB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d6ad2f044f740fbf1b9f5f2a832523800161268","datavalue":{"value":"derivative operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035652$4163E1D3-D897-4F26-ADD4-7C7D64FF0C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f3ada23287513a351f120d5da44eccc390eedf","datavalue":{"value":"diagonalizable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035652$DDB82708-C30D-4DE5-8484-6B26CE90DFAD","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":"Q1035652$09CCFEB4-4F2E-45DA-8756-B197C8233C5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f781ed114c0c5e6f01222994a5667fb4c02f71eb","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.05.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1035652$5EA8DEC2-D244-4FA7-861D-29C9227136D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3f64689a35593c3f640755f5fbe5b3619d3dfb6","datavalue":{"value":"W2087237127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035652$838319F7-AB6C-4F51-A6BC-7BB123BC31CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee242edfc0ce2685f2a03ec3be9ee5cb8a12c1d","datavalue":{"value":{"entity-type":"item","numeric-id":2563456,"id":"Q2563456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$E7F35E88-3817-45E5-AC84-75E98945FB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efc38869a0f889a5b0bb16ce1fc53ef667032c7","datavalue":{"value":{"entity-type":"item","numeric-id":1403828,"id":"Q1403828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$0E067410-B788-4D6F-89BF-395F8A984F4A","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":"Q1035652$382BFEC0-71BE-42E9-89CC-FF809AD2C2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$C9930676-EA4C-4574-91B0-73A506F33612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00a92b4e0f4a6f2c10346ae58f94938b1b4077","datavalue":{"value":{"entity-type":"item","numeric-id":5522002,"id":"Q5522002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$95A374CB-B41D-4024-8DEB-58BE263A5333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$BBED0EED-F8EA-4F79-8A2E-E86D1DABE0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$AB075B9B-BA19-4DC0-99FD-EF622792A767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ab6472b1c48b02dcbf6aeb50a7e64d4ee11e19","datavalue":{"value":{"entity-type":"item","numeric-id":598307,"id":"Q598307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$774A2A83-7DA0-4B67-BB52-D5274485E156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de332840536f381870db505612964ed89a02917","datavalue":{"value":{"entity-type":"item","numeric-id":3647244,"id":"Q3647244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$D87EA6F6-6A7E-4D46-B326-64F6A36E0CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89098228a1dda92537f986c75e68d8e8ad42d3d2","datavalue":{"value":{"entity-type":"item","numeric-id":5835082,"id":"Q5835082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$DB8C1012-7DDC-447B-BBBC-E2C433B30D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3f78a2e12ed76b4d4426f3461d86dac8ead66b","datavalue":{"value":{"entity-type":"item","numeric-id":2652748,"id":"Q2652748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$44D84959-AAA9-4C87-91B2-0A443D3012C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e871ec06eee6b4c87c027fb64dde5aee6cd144","datavalue":{"value":{"entity-type":"item","numeric-id":5183473,"id":"Q5183473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$AD6BA4DB-FED9-40E3-B36F-C6C904F87D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$AFFF0589-CE2C-428F-B0FE-B9EAB7D86DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a575b135ab8c68ef066d427f8c2b91aeb49e6000","datavalue":{"value":{"entity-type":"item","numeric-id":3852250,"id":"Q3852250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$DBE60D23-2ECD-4D51-A43A-B06CBB87A3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035652$86A96202-ADC2-428B-9C12-FBD73E40E857","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":"Q1035652$FFCB0FEB-2EAD-4C48-9A7A-2E24C6215BA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd2f24ed298387d680c08bbb90116f3e11b8d7a0","datavalue":{"value":"10.1016/J.APAL.2009.05.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035652$1DBC6A3D-4BFD-470B-9BFF-C03FCCE35C70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3fbf5982db638db95cc5b8125ccaa399da4fae","datavalue":{"value":{"entity-type":"item","numeric-id":3352997,"id":"Q3352997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ab39e17817bc731301edc7d6a4e6c0b43e4b74","datavalue":{"value":{"amount":"+0.8165332078933716","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":"Q1035652$D1CA8B49-11D6-4398-A0F5-8937839EB38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4cbb35b7998edbd315fac32e76de367e91f0f27","datavalue":{"value":{"entity-type":"item","numeric-id":4890178,"id":"Q4890178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d220ac0e11afdfd9d71e0a92f1a5ca3d41bd37a9","datavalue":{"value":{"amount":"+0.8143576383590698","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":"Q1035652$2F7EA2F4-7286-4329-8AB4-CE839E7AF484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc8c1b41edd8a032448372f25c719ee41cf2a3e","datavalue":{"value":{"entity-type":"item","numeric-id":3542614,"id":"Q3542614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84198c28c45f9b7c053822e1c7e1554c073a29e","datavalue":{"value":{"amount":"+0.8139737248420715","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":"Q1035652$2F9423A3-8693-48BE-8476-CAF99ABDF43D","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":"2c1d57df7742023d7491a03caf879fada0a7a563","datavalue":{"value":{"amount":"+0.8129457235336304","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":"Q1035652$2A6AA290-8212-4FCF-A89D-BECFCE3BD65A","rank":"normal"},{"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":"6319f324cc03ba7b54936fd8b36fd0a148ba9341","datavalue":{"value":{"amount":"+0.8108762502670288","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":"Q1035652$586D4BF9-1B1C-4A8A-823A-E7814AA45C0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Around provability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Around_provability_logic"}}}}}