{"entities":{"Q805609":{"pageid":807457,"ns":120,"title":"Item:Q805609","lastrevid":49514059,"modified":"2026-01-07T10:41:46Z","type":"item","id":"Q805609","labels":{"en":{"language":"en","value":"Logical equations and admissible rules of inference with parameters in modal provability logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4204317"}},"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":"Q805609$89B4BAB2-8908-434B-841F-E8569F991E9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d65a69a24db7c2ac0f0e905f834345f74a087e5","datavalue":{"value":{"text":"Logical equations and admissible rules of inference with parameters in modal provability logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805609$ED2A95B6-D2A0-4BAF-A11D-8173C8BC1066","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"349de59cad6b73000fa1ead83958fa8dcab26d31","datavalue":{"value":"0729.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805609$194C4698-CA5D-4885-BFC4-C3CBFDA0AE82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a90d8ccd48dfa8fbd9f3a03eca40c33090d487a1","datavalue":{"value":"10.1007/BF00935600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805609$636A4B66-4579-4981-9F9D-DD83F8402E50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805609$5AA0E3E1-9DE1-4581-A43D-B926EF0018B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q805609$BAB2F9FF-E6B5-4D1D-BE4A-5A3B7B9FC66D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a76a2b67a9dc9fd690f5bf534e10ccf1bbb33b5","datavalue":{"value":"The aim of this paper is to study admissible inference rules for the modal provability logics GL and S. It is proved that none of these logics has a basis for admissible rules in a finite number of variables, in particular, they do not have finite bases. It is proved that GL and S are decidable by admissibility, some algorithms are found which recognize admissibility of usual inference rules and inference rules in generalized form - inference rules with parameters (or metavariables). By using recognizability of admissibility of inference rules with parameters, we can recognize solvability of logical equations in GL and S and construct some of their solutions. Thus, the analogues of H. Friedman's problem for GL and S are affirmatively solved, the analogues of A. Kuznetsov's problem of finiteness of a basis for admissible rules for GL and S have negative solutions, and the problems of solvability of logical equations in GL and S have positive solutions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q805609$DB86FCDB-81F6-4CE4-830C-049664F457FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805609$96482331-4FA7-4F67-ACBA-4CF7DB1B904D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805609$B22A4A62-EF2A-4C95-8056-53C05C0E772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805609$A8777A2D-4BFA-4E7F-A1F4-ACF217808417","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b654bbce375474837ec77f12454ccb9b5f161d0","datavalue":{"value":"4204317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805609$FBA2E5DF-D985-47C9-AA28-7D6F0BB00B67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q805609$16B635A4-F352-4FFC-A4AE-6E1AB5DD4574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6594d44baf4786e89227cc86f28e5ec07efcd4d1","datavalue":{"value":"admissible inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q805609$D08A1C22-D31C-4469-AD8A-A12D3D716AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc566c0008223df76b9ef2cb115974d1bc28281","datavalue":{"value":"modal provability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q805609$899990CC-5A8E-42C7-AEBE-D0A1CDFC41C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q805609$5F5A4E4B-B4E0-4E0D-963C-B69F54A55D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ca894865892208c523d07e62d037c8bed9c0b53","datavalue":{"value":"solvability of logical equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q805609$3174D9E3-E129-4DA6-9AB6-E4C570A9CB1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805609$8C861D2E-9607-4F74-B93B-3181312BE1D6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b4569bc40e6a72bfae622e1549e11d4577f6e6fd","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805609$75DB6AB8-3791-4C49-906E-528A4EEA96FB","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":"Q805609$828E0859-29D7-4526-AB92-CD5DFC57A26B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc325a5e5dc110f4ca337eec6699a26e8de27fd","datavalue":{"value":{"entity-type":"item","numeric-id":3731573,"id":"Q3731573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805609$1CC74798-FE5B-4092-9DB7-43774FE89525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e773b14295d38a2673b1dc8796268cbfb3385b","datavalue":{"value":{"entity-type":"item","numeric-id":5187257,"id":"Q5187257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805609$E79053C6-5310-4A19-8E03-3534B116D448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f69b9c72ef2c3b01713580f6fd0a5f82a692f3","datavalue":{"value":{"entity-type":"item","numeric-id":4196404,"id":"Q4196404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805609$43B4DFA2-007F-444E-81B4-30518FF211E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805609$CA148713-9FC5-44F4-80A2-7A0EDCE7F5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ed7790b73ca0627f9aea6069a6e8916b8f045a","datavalue":{"value":{"entity-type":"item","numeric-id":3950540,"id":"Q3950540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805609$C3AAAB42-C967-4B57-83E5-19322F0019A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58312fafedbf68d82f54454b1126d641f3f1d949","datavalue":{"value":{"entity-type":"item","numeric-id":1068809,"id":"Q1068809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805609$1C09496C-59DE-4F38-AE4C-DD8884D1F843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce39cadbd932920cdfdc52694ab4b404d2310a81","datavalue":{"value":{"entity-type":"item","numeric-id":3762284,"id":"Q3762284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805609$25C43B3D-D8D1-4141-83AD-B3C2DBAA8721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5f10c9e5dd7ce7bfd0436cabe142c0a50802","datavalue":{"value":{"entity-type":"item","numeric-id":4726223,"id":"Q4726223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805609$FDA49C76-E5FF-4B02-8556-747DAC6E1433","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":"Q805609$57113C65-FCA0-44BF-B7F0-CF2B3E0DF411","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":"Q805609$B70D6FD3-F3CC-4747-921D-4DBDE96524B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1f2b335da52ed4f882a1e68c165250063ca1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4166741,"id":"Q4166741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805609$B29CBDBD-53D2-4F3D-9114-AB5A868044AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e8f483b787dfb700495249452495d77abab9270","datavalue":{"value":"https://doi.org/10.1007/bf00935600","type":"string"},"datatype":"url"},"type":"statement","id":"Q805609$8FE84F11-01CE-4CE4-8DA2-CE2B660B5025","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d274dcd0c1e07ccd429c598e0f4d18c51514e73","datavalue":{"value":"W1967787797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805609$3F9F2E2E-456A-4B93-94D2-B1054439F5E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0b5f8ff389b4318ea9b4095effd578d2f46715","datavalue":{"value":{"entity-type":"item","numeric-id":4712747,"id":"Q4712747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ee214fcb861088c9c2840a73ca11bb84a72600","datavalue":{"value":{"amount":"+0.8790041208267212","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":"Q805609$6998F82D-9043-4788-93DB-6C94B63C48E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea450f1943642a23d18b4384a6660164a1ae9f8","datavalue":{"value":{"entity-type":"item","numeric-id":3491519,"id":"Q3491519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950edc381d401c864ecef496e000db9a1dbd94a8","datavalue":{"value":{"amount":"+0.8499744534492493","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":"Q805609$FD024A35-D258-42B8-AE1B-F5588300F8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ebc03e482d5f1b98817c56429a3448862d84bb","datavalue":{"value":{"entity-type":"item","numeric-id":3727965,"id":"Q3727965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0edb47324dde228e097935c56f90e28d13e79d9f","datavalue":{"value":{"amount":"+0.8106728196144104","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":"Q805609$F110ACC5-4111-4094-9766-5F39DC9F7C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a0a699f84b7cbe5fa81d82a08f54cc222cd288","datavalue":{"value":{"entity-type":"item","numeric-id":1064315,"id":"Q1064315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edbea1581f90d1ba15af94e91fb551b4e1208017","datavalue":{"value":{"amount":"+0.8060899972915649","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":"Q805609$88733DA5-3C90-4B7E-A101-7A0354F8C34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e9dbb1a0934aa92a3a25ce8232bdc64d88ad46","datavalue":{"value":{"entity-type":"item","numeric-id":3544726,"id":"Q3544726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd05c4ebbacab7c307d3e5d0249d0136c2aa1e07","datavalue":{"value":{"amount":"+0.8038807511329651","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":"Q805609$BA081B6A-1D45-44C6-A66C-E9DEA7F83F83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:805609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:805609"}}}}}