{"entities":{"Q920973":{"pageid":922821,"ns":120,"title":"Item:Q920973","lastrevid":65397015,"modified":"2026-04-12T02:18:51Z","type":"item","id":"Q920973","labels":{"en":{"language":"en","value":"Continuum of normal extensions of the modal logic of provability with the interpolation property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164802"}},"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":"Q920973$15238E46-19FF-470A-8F68-1AC7766D76C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c717a1079c76a7184a19d3ed7c2301ddc16505eb","datavalue":{"value":{"text":"Continuum of normal extensions of the modal logic of provability with the interpolation property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920973$4AA3F5B5-8DD6-451F-B42A-0A203A497C8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c99a4292099ab28862425dad9edd11bc71489347","datavalue":{"value":"0709.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920973$B76AA3BC-B1AC-478A-B7E6-4FC37E2C0A29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b12f8abf8a99e008d3001cc3217c10c5348f871","datavalue":{"value":"10.1007/BF00970916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920973$9377FA48-0315-4D6C-810A-592E446BC3DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920973$85171788-C3A2-4CF8-B16F-D51D858152A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920973$BEBF002D-CEC8-4131-909F-361DBCC5DEA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q920973$DEB53ECD-70A0-487A-B34D-697D9719BEF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6ead0cc5494e58f24cc755b05a7a1cca8e38c6d","datavalue":{"value":"https://eudml.org/doc/63208","type":"string"},"datatype":"url"},"type":"statement","id":"Q920973$87AFA74B-731E-4EBC-95D9-F89076764C84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51985d9cf497100a01c711384356249e76074a36","datavalue":{"value":"The modal system G of provability logic was introduced by \\textit{K. Segerberg} [An essay in classical modal logic, Filosofiska Studier, No.13 (1971; Zbl 0311.02028)] and developed by \\textit{R. M. Solovay} [Isr. J. Math. 25, 287-304 (1976; Zbl 0352.02019)], who proved the so-called arithmetical completeness of G. In the present paper, the author considers the class of all normal extensions of G and two different variants of the interpolation property in that context. Namely, the class of modal logics makes possible a generalization of the Craig interpolation property in the following way: we say that a logic L has the derivability interpolation property if, for any two formulas A and B, from \\(A\\vdash_ LB\\), it follows that there exists a formula C, containing only variables which occur both in A and B, such that \\(A\\vdash_ LC\\) and \\(C\\vdash_ LB\\). Similarly, like in some other cases [see the author, Algebra Logika 18, 556-586 (1979; Zbl 0436.03011)], the investigation of interpolation properties of existensions of provability logic can be reduced to the investigation of amalgamation properties of the corresponding varieties of algebras. In this case, it will be the variety of the diagonalizable algebras [see \\textit{R. Magari}, Stud. Logica 34, 305-313 (1975; Zbl 0355.02021), or Boll. Unione Mat. Ital., IV. Ser., Suppl. Fasc. 3, 117-125 (1975; Zbl 0352.08002)]. The main result of the paper is that there exists a continuum of provability logic normal extensions having both the Craig and the derivability interpolation property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q920973$71B0EDE0-1070-42A9-9173-B4CF410262EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920973$C9FFA623-50B3-4FCD-A946-C9DF2E6F6500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920973$0CF81A76-7398-476A-8720-22044B73C006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920973$6C37CAB5-B6DB-464A-9F5A-9512C4E1F344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920973$504DB376-BEA9-4E20-9F84-A500F56FDDA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51facbd27d6b165c90c05d4f7065ae64d6bd4119","datavalue":{"value":"4164802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920973$924E6592-A645-49B8-97B9-0BDEEDDA56FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q920973$8A486A0B-0CB1-4020-9438-14B818D2ADC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94040e42960d45e36ca1714a4fd3efd7acfaea48","datavalue":{"value":"normal extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q920973$741457CB-1E74-48D1-837B-A050912C8D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q920973$C8BE065D-FC2E-44B3-942F-1FF148B4B8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q920973$2D8B7CD9-514A-475D-B4B7-A7BB4183707E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q920973$E418B212-A2D3-416B-A016-3C3B99CC33F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b989d814875f8b5e1d6633678918cc5293ce7c37","datavalue":{"value":"diagonalizable algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q920973$9AFFAFF9-E967-410A-86C5-7E0C990B75B2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920973$A2D9BCDE-4514-4A9A-BA49-320FAC694F91","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":"Q920973$23032597-F3B5-4B97-B19F-9DEF8F96F5C7","rank":"normal"}],"P223":[{"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":"Q920973$37262D98-605C-43E1-9EBD-FAA1472767BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b15e27b7e5af70550b443271dfae1b5faaf5c02","datavalue":{"value":{"entity-type":"item","numeric-id":3050398,"id":"Q3050398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920973$ACBCB478-7AF4-4B88-A8CA-3D40DB8FC10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920973$15879B7B-A9C8-40BE-B797-3C2DAC60BE9E","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":"Q920973$143629C8-EA61-4343-A92B-CAEE17B40168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"539f0b888130731208efc231787f933eab63d651","datavalue":{"value":{"entity-type":"item","numeric-id":800348,"id":"Q800348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920973$5DA74E83-BA71-4712-9025-861C2F51D9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920973$B87D3936-FBF6-46C4-92BD-B0C31734D1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1c10a48994750f9ea8f47b3ea09721413a554c","datavalue":{"value":{"entity-type":"item","numeric-id":1237068,"id":"Q1237068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920973$FCB7CC90-ACCB-4729-8CF4-CB5B4CACC4E1","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":"Q920973$4686EA5D-B187-4DDD-91CA-9640D6E5B649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826fdbd882b1cc21562655ddb6395183a648ac13","datavalue":{"value":{"entity-type":"item","numeric-id":4729756,"id":"Q4729756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920973$6AA1D96D-B00E-40C5-B0A1-31BFC55F9B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eeaf31c8fd9a9de33cf5bc0327064e140d51b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1150599,"id":"Q1150599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920973$6984A270-BDAB-4124-8FF3-8FE4F19ED916","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fda515df108299e64087c7d65192e21c2c5c8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3534985,"id":"Q3534985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6cca03339d70f6189403479f907cce07798a9dd","datavalue":{"value":{"amount":"+0.845309853553772","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":"Q920973$FC883131-6AC7-434E-A786-0A42B4165AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d36b5404b898fe62c53febb4672b0854595158c","datavalue":{"value":{"entity-type":"item","numeric-id":4729756,"id":"Q4729756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50dcd605e0021988704fed7bc9146bdb778709f","datavalue":{"value":{"amount":"+0.8331614136695862","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":"Q920973$D8BC09C2-A50D-457C-9482-16B696C98F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4779fd604c40d45eef5273e45051a61eb67b989","datavalue":{"value":{"entity-type":"item","numeric-id":4501162,"id":"Q4501162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5181cc9315346d1f508a177b9d69b2c8d98b018","datavalue":{"value":{"amount":"+0.8328661918640137","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":"Q920973$2E28F60B-50EE-4687-B58E-374E3541E64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a20730ee3acb751f30542956c0c998c919c181a","datavalue":{"value":{"entity-type":"item","numeric-id":1580645,"id":"Q1580645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691bc8e6c2a216f4056c22c508208e3c7a2dd301","datavalue":{"value":{"amount":"+0.8323612809181213","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":"Q920973$C52F01E8-8A94-4E01-9307-2CB291601FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ea0717caa48048b072a57d2a30d88874b90315","datavalue":{"value":{"entity-type":"item","numeric-id":3786477,"id":"Q3786477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1310d7cfaa19178cf9c7e04b81ec453c63d8e2d","datavalue":{"value":{"amount":"+0.8243274688720703","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":"Q920973$278BB508-5CD8-4608-B0A4-9CB02AAF02C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Continuum of normal extensions of the modal logic of provability with the interpolation property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Continuum_of_normal_extensions_of_the_modal_logic_of_provability_with_the_interpolation_property"}}}}}