{"entities":{"Q892132":{"pageid":893980,"ns":120,"title":"Item:Q892132","lastrevid":57189756,"modified":"2026-03-27T10:30:15Z","type":"item","id":"Q892132","labels":{"en":{"language":"en","value":"On the share of closed \\(\\mathsf {IL}\\) formulas which are also in \\(\\mathsf {GL}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6510998"}},"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":"Q892132$4982E561-58C0-47F2-A2DD-21F24571E710","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8afbf1fea70f5c8c69d10d48814822a9bf473d04","datavalue":{"value":{"text":"On the share of closed \\(\\mathsf {IL}\\) formulas which are also in \\(\\mathsf {GL}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q892132$CE4899E4-480C-46BA-9899-392E844A13F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11fc8c3432e77698b030377edbe9be0b78c68ac0","datavalue":{"value":"1341.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892132$1BFADD7D-DEE4-4CC4-8E1A-E544679D056B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fbedcf5dbd70d2cbfc902731862a2b2a8291b9f","datavalue":{"value":{"entity-type":"item","numeric-id":361869,"id":"Q361869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$EE3A0CA9-AAE0-48A4-9AF0-DF7925378D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0edf6ee6b92c0a9ef88981d139e0da47b3c56d","datavalue":{"value":{"entity-type":"item","numeric-id":470857,"id":"Q470857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$6B56E2CC-FE8C-4B8B-B88D-2BAF8E3F803A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$7B0EDE6F-D0DF-43A5-A89A-ED465E3A1C42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"482b7978385e0be0d8ea5afcf93e349a724cc633","datavalue":{"value":{"time":"+2015-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q892132$B39A101F-510C-4391-BD66-4A9C80CD2817","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db9ffa324fd05ec427a5320e66d64a60c468899c","datavalue":{"value":"https://arxiv.org/abs/1309.3408","type":"string"},"datatype":"url"},"type":"statement","id":"Q892132$771C96B1-D0EB-41D0-9CE0-606F595C4B47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b51e4f6dd9f70a1b989d88632f06c822c0955158","datavalue":{"value":"\\(\\mathsf{IL}\\) is one of the basic systems in the family of interpretability logics which were founded on the analogy with G\u00f6del and L\u00f6b provability logic \\(\\mathsf{GL}\\). Whereas the latter introduces an unary modal operator formalizing provability, the former use a binary operator of interpretability. Thus we may evaluate not only an absolute strength of a formula against a theory but a relative strength with respect to some added formula. Researches on \\(\\mathsf{GL}\\) profitably use methods devised for investigations on modal logics. Similarly, it seems that in the research on \\(\\mathsf{IL}\\) it is valuable to use techniques applied sucessfully to \\(\\mathsf{GL}\\).  In particular, one of the nice features of \\(\\mathsf{GL}\\) is the existence of regular normal forms for every closed formula. It was already shown by the first author and \\textit{M. Vukovi\u0107} [Math. Commun. 17, No. 1, 195--204 (2012; Zbl 1252.03138)] that such a result holds for a wide classes of \\(\\mathsf{IL}\\) formulas; the main result of that work is recalled in Section 3. The aim of this article is to establish precisely how wide these classes are. In a purely syntactic way, the authors show that the ``majority'' of closed \\(\\mathsf{IL}\\) formulas has equivalents in \\(\\mathsf{GL}\\) and, consequently, the same normal forms as respective \\(\\mathsf{GL}\\) formulas. Moreover, a convenient way of computing asymptotic behaviours of some general classes of formulas is provided; all considered classes are summarised in the tables closing the paper. The method of computation proposed by the authors seems to be of quite general use, in fact it is first described in Section 2 with no special reference to \\(\\mathsf{IL}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q892132$0B08D008-1778-47D6-A300-B14166EF0F91","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2e7f704932fd75b813eb7e18ce6ce9f1d9ea52bf","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$734DB33F-059C-457A-978C-C4F288C98ADE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892132$3A006E0F-4180-4D66-9510-E0EEBD1DE0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892132$51FBC972-69EC-4E11-9425-9239E99CCB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b85c221f9847adc30512692a640a50dd4e3d1cb","datavalue":{"value":"05A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892132$C9B7FD39-9094-4941-BAAF-D5C4DA5FFD9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf6b74abb89a25199183efb080d59b0b306c8229","datavalue":{"value":"6510998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892132$B7D2D7C4-69FC-4B34-961C-D5123CCC179A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q892132$2F710131-B70C-4E90-94AB-E4E3920F7A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q892132$FE794031-68D2-4B6A-ADF1-5EEDBA31AE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q892132$7C131DFA-67EA-46BF-A793-4906A42E70BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34895ef0789d9770c700806e7a4844204045ec07","datavalue":{"value":"asymptotic enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q892132$06DA6246-CA0E-4231-8743-2B3C409B391D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5191fa91723ad5acae0cc9c0a6e3e5414add2ed3","datavalue":{"value":"Q60691910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892132$883F7EA9-8D63-42B3-858C-3CF8881B2B48","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$5D7B4C7E-C5DD-46DB-99F1-E1565F18C4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$DF931CD2-6723-427B-9D27-A93BA0B24982","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":"Q892132$D6FE050F-EF55-4E64-A924-21F83F941A3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d9d7d0eb0d9d4c2eec4dca6f72100286a8f6167","datavalue":{"value":"W3104494214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892132$7D8D5877-26B5-49B1-A12E-6D03FFBAA3B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceb7872ca8844112136937ea41bf92a162143dcd","datavalue":{"value":{"entity-type":"item","numeric-id":3752370,"id":"Q3752370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$D8BE2318-7380-4A6B-ACB0-A84D671A68A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"831aefa6aba839fa37fccd15eec15bca031da389","datavalue":{"value":{"entity-type":"item","numeric-id":2825406,"id":"Q2825406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$E49EE093-12BA-4BFF-A9C8-A516D336D42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a679ef5741bccd27e2f37f5ab5d5d231cab77e","datavalue":{"value":{"entity-type":"item","numeric-id":2915733,"id":"Q2915733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$49C33BBD-3069-495B-AA94-92D91C4CFA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76988eeb330b74201f9a4ad033a0fa0935f14c68","datavalue":{"value":{"entity-type":"item","numeric-id":3496337,"id":"Q3496337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$1EB49288-0CE1-41BA-9BBE-17DFFE3A66B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$EB5B04F4-1D81-4B42-AF31-0032028A1990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585d065988c6214e0f76055e2b290cf6fba65e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3081234,"id":"Q3081234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$8CF0C66B-866B-4CE2-9A04-17AC00646C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3604aa0654b5df7c1378c83e268923b726cbd513","datavalue":{"value":{"entity-type":"item","numeric-id":804561,"id":"Q804561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$3086EF7B-C81B-46CC-87F7-42912036F1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2a0e5b19182c1a3d994d5b94e71c092a2f94e5c","datavalue":{"value":{"entity-type":"item","numeric-id":2153996,"id":"Q2153996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$3BDE03A2-9778-4EF5-97C2-85D131FA2583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc1eae19d26dedf39074ff685f832a12a5993ec","datavalue":{"value":{"entity-type":"item","numeric-id":4115333,"id":"Q4115333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$21C5791A-16C3-453C-BC0A-89FD6105A752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d038bf41156aa868bc2302d61cb72b5d8b5783b9","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892132$5EBB7EF7-1B1A-4D6A-9022-03FD3F186EE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88ad388d3d1b4b4e46fd9c5048260e373251ddf8","datavalue":{"value":"10.1007/S00153-015-0438-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892132$763B6570-4FB2-4C27-898D-22758481D76F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec17a55f0a783b1c186913e553816b56a1875a6a","datavalue":{"value":{"entity-type":"item","numeric-id":804561,"id":"Q804561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab635c8606edee28787ef2b8253df632f4167b46","datavalue":{"value":{"amount":"+0.7780406475067139","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":"Q892132$18559D04-2BB6-4FBE-96B3-DDC67DF41CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7396a1b2ca23aaab3d700d48f47d84a906f05288","datavalue":{"value":{"entity-type":"item","numeric-id":2915733,"id":"Q2915733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc38aa609caaa12193d6f64152828bf0ae65d0e","datavalue":{"value":{"amount":"+0.7567415833473206","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":"Q892132$B089CD86-3971-43E1-8A49-0BDE88A2E510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d30ba1210f65fc4c87faa1035d00c5a6eec79d3","datavalue":{"value":{"entity-type":"item","numeric-id":3608412,"id":"Q3608412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eea9782b8cbccc041549d74b3f8005e21966269","datavalue":{"value":{"amount":"+0.688492476940155","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":"Q892132$BE9C51C6-14DC-4624-971C-B8C725CF6A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8ca714c92b29740662457522b509acd4b09fcb","datavalue":{"value":{"entity-type":"item","numeric-id":2825406,"id":"Q2825406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4495bae5fe45c3613d64f4216b889e830d22fc","datavalue":{"value":{"amount":"+0.6825572848320007","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":"Q892132$6D0E7555-9BAD-4E4E-BE93-36E3AE8EAAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9be187cf8e2a778940ada128e287340c52c6526c","datavalue":{"value":{"entity-type":"item","numeric-id":4980225,"id":"Q4980225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c897fa53446aa0ad1f5140b20f473cf2e254ab18","datavalue":{"value":{"amount":"+0.669918954372406","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":"Q892132$C7251AF5-A1D6-4315-8C56-14EA8CBDB42F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:892132","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:892132"}}}}}