{"entities":{"Q2134275":{"pageid":2145018,"ns":120,"title":"Item:Q2134275","lastrevid":54312017,"modified":"2026-01-26T15:04:07Z","type":"item","id":"Q2134275","labels":{"en":{"language":"en","value":"Effectively constructible fixed points in Sacchetti's modal logics of provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7522854"}},"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":"Q2134275$CCE4C178-90F5-4E70-88B8-F5C13F925FE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97a68624ad1632e89e9ac616dcb66b1f46baa17e","datavalue":{"value":{"text":"Effectively constructible fixed points in Sacchetti's modal logics of provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2134275$FB5E6EB5-9B29-4F0C-8D44-6C870F5CCAEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14b1c53040ec5b5f69843bbd9c0d9d29ba1d198d","datavalue":{"value":"10.1215/00294527-2022-0003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134275$556BC795-9DC1-4050-B0EA-F894731C4991","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134275$8CB2A51F-59B4-481B-B752-8AF3B0558743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c572c066a8ea22a9b9ac8efff19fe885352a420","datavalue":{"value":{"entity-type":"item","numeric-id":2120970,"id":"Q2120970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134275$2884AB4B-E004-4F5F-ABA8-18EC9AD071B5","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":"Q2134275$40B43BC0-B56E-47D5-B0AE-348A65ACC391","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"def5e2641178468c34fb2d72da010f49e0c91216","datavalue":{"value":{"time":"+2022-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2134275$F055EEE4-BE6F-4A1C-BCE2-40AD4E503C7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a466daf9a31f858feeee815facde6dabf07ce0d","datavalue":{"value":"https://arxiv.org/abs/1811.12827","type":"string"},"datatype":"url"},"type":"statement","id":"Q2134275$B9845719-AE0A-4F20-927E-0CE2A06E347E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"628c6c0e30c8b1433e8864b1edda84e84682691d","datavalue":{"value":"As a weaker version of the provability modal logic GL Sacchetti introduced for each \\(n<\\omega\\) a normal modal logic \\(wGLn\\) which is obtained by replacing the second-left box-operator in the L\u00f6b-axiom of (standard axiomatization of) GL by its \\((n+1)\\)-iteration. The family of \\(wGLn\\) \\((n<\\omega)\\) constitutes a descending chain of sublogics of GL so that the modality formalizes the \\(\\sum_n\\)-provability, where the completeness is established by Kurahashi with respect to the non-standard arithmetical provability. Sacchetti also proved several fixed-point properties of \\(wGLn\\) similarly to those of GL in a semantical method, where for GL their proofs have been given not only semantically by Smorynski, et. al., but also syntactically by Sambin. In this case the difference between the two proofs is essential in the sense that the latter provides an effective procedure of fixed point construction as well. So, Sacchetti asked if there is such a constructive one for \\(wGLn\\) as well. Answering to this question, in this paper, the authors establish the syntactic proof, which is carried out essentially by an induction on the modal depth of propositional variable occurrence in a given formula based on the equivalence provable in \\(wGLn\\) between \\(n\\)-modalized propositional variable and modalized falsity. It is also remarked that certain particular modal formulas enjoy simpler fixed-points as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134275$90D7B275-892B-43C3-B326-D93E021FFFDE","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":"Q2134275$A0DDDC88-FB91-4724-AFE8-43025A19AB57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134275$A1FCC6D0-8FD2-490D-A5E0-39F9D21497C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134275$631DE580-CE4D-4A83-9D5E-C96E1E524171","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62c68d45d70c2d79c8b41f4637bcee3c4dffa333","datavalue":{"value":"7522854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134275$E02D5108-1386-4838-B632-5A9812782B57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cdb35b853c0f6bbf6c4d7efe1270c8d41aa94f","datavalue":{"value":"fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134275$B8E226DB-7513-4372-B7FD-EFBD94364254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134275$FF04752E-E504-4E92-9264-760805B74E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5d38e8966a8eec782ba9277d3e6a66132653b3","datavalue":{"value":"Sacchetti's logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134275$094D5789-80BD-4AE6-B7F8-1CAD65370BD7","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":"Q2134275$1DF66616-ABF1-401B-A284-0CC66FC4F3F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e1cb0a252e470f3426e58fdbb85f1a29a6b7ace","datavalue":{"value":"W2903170125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134275$065AAFB6-1E30-434B-95A9-CB331D7BEAD8","rank":"normal"}],"P223":[{"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":"Q2134275$0F2E9BB2-0F73-4A16-988E-39FD907A5EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c273e8711bfe8c9c061d7363325f54d032ae64b3","datavalue":{"value":{"entity-type":"item","numeric-id":1756596,"id":"Q1756596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134275$ABD244A3-C68A-4872-B7C8-3F584137C27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595b7b0cc1308645e9228de4db63359ff976521a","datavalue":{"value":{"entity-type":"item","numeric-id":4378052,"id":"Q4378052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134275$B0C2D094-5BD3-4441-A4BB-1F9C48E3FD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78712c302d631706b63db1fb45f7f769a340651d","datavalue":{"value":{"entity-type":"item","numeric-id":2499296,"id":"Q2499296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134275$EE6E33D7-3B71-4611-87E7-BA70593B49BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14828a5185974445595b5312d0a4753094089395","datavalue":{"value":{"entity-type":"item","numeric-id":923072,"id":"Q923072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134275$F65AFA18-B500-4023-9D99-071423D874A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0df5df771b8f61d6e89c7b6e0ae4eff121e2e85","datavalue":{"value":{"entity-type":"item","numeric-id":1409307,"id":"Q1409307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134275$5D82CAD4-3FC4-4204-8E70-2137AB3BF736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134275$478B7702-3362-404E-BE65-6F3C04D0B96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134275$02C511AD-FA28-48E8-B215-A25B5899348E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900ea576be6c9b9142ede1ad5e69d44f1362cee2","datavalue":{"value":{"entity-type":"item","numeric-id":3900021,"id":"Q3900021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134275$CC6276F8-5DCF-4D50-BB75-D42D5F71F993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134275$DF77ABAB-6CF3-42FE-A0B2-331EDBA540C3","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":"Q2134275$F42838EF-6D85-4F8C-AAA4-D09322047094","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4309255726ddccaf230b70a2cfc4ba84e5a6495a","datavalue":{"value":{"entity-type":"item","numeric-id":2499296,"id":"Q2499296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee9d8a1aeadb9b877a1d009ef341f01ecd2c4d6","datavalue":{"value":{"amount":"+0.828108012676239","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":"Q2134275$9416C714-A365-4E7D-821A-31519945F6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b67b12cd1d856dd5ae4b4877372e09d2c81a10e","datavalue":{"value":{"entity-type":"item","numeric-id":923072,"id":"Q923072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc58751926c0a29e3275ba5723d2a2c110d07465","datavalue":{"value":{"amount":"+0.8241185545921326","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":"Q2134275$410B5C6A-6559-4877-BE7A-1CC16A782ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8f0f5cef0d7be3ed3b93b8bb6b17edeba33d03","datavalue":{"value":{"entity-type":"item","numeric-id":3809768,"id":"Q3809768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a33a37f4626e131260d29680b29a3a9481ea913","datavalue":{"value":{"amount":"+0.7879574298858643","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":"Q2134275$1A49564B-4498-43C0-9A62-F9B2DCC8481F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e107e84381502149eb19d63e420857659cf747f","datavalue":{"value":{"entity-type":"item","numeric-id":1409307,"id":"Q1409307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfcc720355d0395400ae2c17c3013e9475e07cf1","datavalue":{"value":{"amount":"+0.783042848110199","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":"Q2134275$78C8D9D1-425C-48F6-84E3-8E6B43034C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81f0426ef62bdfd1fe5efea390405663ec39fd4","datavalue":{"value":{"entity-type":"item","numeric-id":4254108,"id":"Q4254108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ef08e62e4ac6eaaa02b4de1c374aa6fbafb353","datavalue":{"value":{"amount":"+0.7822491526603699","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":"Q2134275$8E529DDA-3AE0-4A0E-9DC7-91EC37A175B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2134275","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2134275"}}}}}