{"entities":{"Q685075":{"pageid":686924,"ns":120,"title":"Item:Q685075","lastrevid":47188018,"modified":"2025-12-31T23:06:02Z","type":"item","id":"Q685075","labels":{"en":{"language":"en","value":"A generalized notion of weak interpretability and the corresponding modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416884"}},"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":"Q685075$57C1026A-4B48-496A-9C31-59789F552545","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8deae594ce917db70eafbfe8dc63679646047d0d","datavalue":{"value":{"text":"A generalized notion of weak interpretability and the corresponding modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685075$FB6BBBB5-CEA3-4EE2-85A7-F42531994A7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c5a79432a04f54fd2999b5b6951c505c8d12d5e","datavalue":{"value":"0791.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685075$9F834CE7-1620-4846-8649-F5869A4C9FA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35c91bb26b1d4296b349952a11caf2e4034a6e11","datavalue":{"value":"10.1016/0168-0072(93)90201-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685075$5F1B9169-1CF1-43EA-AE11-570E5A8B151C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c23b2c746e186ea70830f10ed92eca798efb3f60","datavalue":{"value":{"entity-type":"item","numeric-id":685074,"id":"Q685074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$A03FF4D5-8D0C-4362-98C5-7A1B129A07E1","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":"Q685075$06FC0ED5-8531-4FFB-9CBD-F9E92571D513","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6918393775fb1c8826438f5277bce44cf6f24c36","datavalue":{"value":{"time":"+1993-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685075$82C18128-A478-434C-8F44-2CA1BBD1BECA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5fa759d4a45371116dd761d8a9d62d7a408361e","datavalue":{"value":"The paper introduces two interpretability-style relations between theories: tolerance (generalized weak interpretability) and cointerpretability. Intuitively, \\(S\\) is tolerant with \\(T\\) if \\(T\\) can be translated into \\(S\\) in such a way that the translation of any theorem of \\(T\\) is consistent with \\(S\\); and \\(S\\) cointerprets \\(T\\), if \\(S\\) can be translated into \\(T\\) in such a way that \\(S\\) proves every formula the translation of which is a theorem of \\(T\\).   The set of all valid principles of tolerance is modal-logically axiomatized and its decidability is proven. As for cointerpretability, it turns out to be a characterization of sigma-one conservativity (over strong theories) in terms of translations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685075$DBFA951E-2192-4272-80C7-8B776F52592C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685075$D892A2F9-AF77-42A1-9B6B-18A6DDF456AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685075$E8029BC1-91AD-4D32-BB03-13476EE8045C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685075$F21C25AD-5BDD-427C-93F1-9BD3999DD0F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49c7be74f14a3827a00c89b639b119ddaca384bf","datavalue":{"value":"416884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685075$9C07EB00-30DA-402D-8E17-A7A39C2C322C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q685075$773E46B3-53CC-47E3-8A10-38D67C114D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72431ff2f6d630257c8d3d9e5411ddd2836ae2c4","datavalue":{"value":"generalized weak interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q685075$B8443385-E205-4F33-8D87-5C26E7822E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff452974a5a25bccf89629102999625a7218babb","datavalue":{"value":"tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q685075$3DCE1DFC-C05F-4D09-9C03-6D40E60D0297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b9ba52b1a11ce7b8e8a7e5d1b5516441e904fbf","datavalue":{"value":"cointerpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q685075$66E6DC31-24BC-4204-A2E5-82CD53236486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q685075$2B3A71D5-1B99-4C79-8C29-888BE5B7744D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11a1d4fd6efbb797a98a1a129d77ea8e7ed58fac","datavalue":{"value":"sigma-one conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q685075$98A69EB8-C452-44F0-958C-C30E8F080CDA","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":"Q685075$3ABD394B-2060-4329-B812-2088CEE68D01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b3cdf0c7c90703d45a606d0a18419c63ba34585","datavalue":{"value":{"entity-type":"item","numeric-id":3743302,"id":"Q3743302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$20F1BD87-08B8-4333-BE9B-F022C3F25C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7419cbab6bb0858860ce24b32d867eee0ef731ec","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$79056897-0D43-4A62-95D5-9A7E0E186703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$19A246C5-5CBD-4495-83D0-1E8946A02E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed27d0f6cb877ddca3d1133891fdc234a9330a11","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$72799556-DDC6-4C80-A096-9E97E719576F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7e19a3cfd3620a6251cd62b411329da213a54f","datavalue":{"value":{"entity-type":"item","numeric-id":3199395,"id":"Q3199395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$A6507224-A436-4463-BD67-87CB4E86D90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24132fced229c6ca4647ff2b2d9f83dd0413c376","datavalue":{"value":{"entity-type":"item","numeric-id":4696162,"id":"Q4696162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$732191ED-46A3-441F-AEEA-C0F8FDC76498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$B822FAF4-6F10-4AF6-B62E-AC6B4E6A2680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15b409b75899274128eb741092df9c3a83f6b66","datavalue":{"value":{"entity-type":"item","numeric-id":3206949,"id":"Q3206949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$BB59C422-1CD8-4D8C-8AA6-1AE032B8C81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87282a36b118c5ec471c78e4a69cfcd52482f91","datavalue":{"value":{"entity-type":"item","numeric-id":5663866,"id":"Q5663866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$86997A6E-BA3B-49C0-BABF-90874DF5780D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51efbc255eadeebcdc6f6583f400974101736494","datavalue":{"value":{"entity-type":"item","numeric-id":3726109,"id":"Q3726109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$97D45AAF-C02F-4C47-A0AF-5D41BBB8EF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbcdc6827af9f8d7894a008a301c07e31df53b6","datavalue":{"value":{"entity-type":"item","numeric-id":5732652,"id":"Q5732652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$A5AF97DA-CEE6-4DB0-B5BB-B5067F3BF450","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":"Q685075$6CAE7B9C-6A1E-4960-9A4F-E4FBCDE6D4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$645399FE-B4E6-4743-BB03-DC335DE8F7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8026dd26034ff9c94b60eb3be3dc93eaade42ab","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685075$7ADA0788-9ECC-433F-A6CE-D0BF74331961","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5eb79a7d92f144f829a910b929f6ae9cbbc5143b","datavalue":{"value":"Q55952401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685075$60BE1D98-055A-4450-BDB7-C3364D829787","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b61f9f531acd409c5b6cde264bed409a92c056ba","datavalue":{"value":"journals/apal/Dzhaparidze93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685075$CF821F18-C363-4D43-A01C-08E6F4F77453","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e0d1c4bb29c51d910595ef45134dd6514aaa86","datavalue":{"value":{"entity-type":"item","numeric-id":1176098,"id":"Q1176098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5164b20185c7c936b33e334cea95e37d51e7cd14","datavalue":{"value":{"amount":"+0.74634850025177","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":"Q685075$B1C766D5-4239-4ECB-9DB2-054C5C76AFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f5a10a238b894f2cc5fff9fbc6dc145cee901e","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60bd9808e60ad78cc4729363c34982c32db819f7","datavalue":{"value":{"amount":"+0.7447592616081238","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":"Q685075$B1FD20AD-E124-4CAD-9486-EB3370B1DD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff26d453794330aab2cb8254dd7fff45ac95174","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e79739a272ed0d1b8e98d11f8bec7e3f2ad3a77","datavalue":{"value":{"amount":"+0.7437736988067627","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":"Q685075$358E5FA0-DB2C-4EA7-B92B-C367FE432F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5463684cf082d23d8b181ead638e73f52214a869","datavalue":{"value":{"entity-type":"item","numeric-id":1207342,"id":"Q1207342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e388241123f4ff4e21c49aa9d2c020ed7e0fb5d","datavalue":{"value":{"amount":"+0.7304173111915588","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":"Q685075$770F2754-DD1B-4F84-B8CA-96624AF537E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3759795df2f6359224077e7e3c24e470f116c857","datavalue":{"value":{"entity-type":"item","numeric-id":5937854,"id":"Q5937854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdbe74e6823ba2b9de9e33621aeade3141650d8","datavalue":{"value":{"amount":"+0.7267789840698242","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":"Q685075$98EAAAA1-78C7-4485-BBE7-C7105C9D7173","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685075","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685075"}}}}}