{"entities":{"Q2498907":{"pageid":2509650,"ns":120,"title":"Item:Q2498907","lastrevid":73275237,"modified":"2026-04-14T15:14:30Z","type":"item","id":"Q2498907","labels":{"en":{"language":"en","value":"On modal logic of deductive closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047225"}},"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":"Q2498907$BC4C889E-E40D-4453-A67E-73DC126346EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f139c4ed2997a9d52bf33515779ef7fe36ca28ed","datavalue":{"value":{"text":"On modal logic of deductive closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2498907$048BA172-86B8-4FD9-8C97-C890099DC1C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"317bdf90dd81196ab1995e29775ff927050f0423","datavalue":{"value":"1104.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498907$509E64C6-1A6C-4746-808C-1FD4EF64990B","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":"Q2498907$0328C4B7-DE74-4CE3-8303-D61868DF2568","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2498907$AC0F9E44-CD14-49D0-BFCC-C502EE84CFC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4fecd5cca6ced8676cb6aa1f9a73c0630936d246","datavalue":{"value":"Let \\(T\\) be a fixed logical theory. For any set of formulas \\(\\Sigma\\) in the language of \\(T\\), the deductive closure of a subset \\(A\\subseteq\\Sigma\\) with respect to (provability in) \\(T\\) in (the universe) \\(\\Sigma\\) is defined to be the set \\(\\{\\alpha\\in\\Sigma\\mid A\\vdash_T\\alpha\\}\\). The paper under review studies the modal logic of this deductive closure, i.e., when propositional variables are interpreted as arbitrary subsets of \\(\\Sigma\\) (and \\(\\bot\\) is interpreted as \\(\\emptyset\\)), Boolean connectives as usual Boolean operations on sets, and the BOX operator \\textbf{B} as the above deductive closure (when \\(\\phi\\) is interpreted as \\(A\\), then \\textbf{B}\\(\\phi\\) is interpreted as \\(\\{\\alpha\\in\\Sigma\\mid A\\vdash_T\\alpha\\}\\)). The (modal) logic of deductive closure of a theory \\(T\\) is, by definition, the set of (modal) formulas and rules which are valid for every set of formulas \\(\\Sigma\\) and every interpretation. When \\(T\\) is just the classical propositional logic, the logic of deductive closure of \\(T\\) (called \\({\\mathcal D}\\) in the paper) is axiomatized by the reflexivity (\\(\\phi\\rightarrow{\\mathbf B}\\phi)\\) and transitivity \\(({\\mathbf B}(\\phi\\vee{\\mathbf B}\\phi)\\rightarrow{\\mathbf B}\\phi)\\) axioms, and the monotonicity rule (if \\(\\phi\\rightarrow\\psi\\) is provable, then so is \\textbf{B}\\(\\phi\\rightarrow\\) \\textbf{B}\\(\\psi\\)). So, we see that \\({\\mathcal D}\\) is so-called non-normal, i.e., the axiom \\(\\text{ K}\\): \\textbf{B}\\((\\phi\\rightarrow\\psi)\\rightarrow (\\)\\textbf{B}\\(\\phi\\rightarrow\\) \\textbf{B}\\(\\psi)\\) is not valid in it. Kripke-style models are introduced for \\({\\mathcal D}\\), and their soundness and completeness proved; as a corollary, \\({\\mathcal D}\\) is decidable. It is noted that the same arguments can be carried out when \\(T\\) is taken to be the classical predicate logic. Characterizing the modal logic of deductive closure of other logical systems remains an open problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498907$A66FDE4D-B97F-4080-9018-95D76A00248E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498907$85891CD5-1C71-470C-B019-A9B07764F6D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498907$A619EB23-3B51-4C98-A323-50227D4131F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498907$A86BD88C-F715-4F60-9DFB-B52EBC180C74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2be3925be2bd13ee32cad2fd2d6c1e511ff29f9c","datavalue":{"value":"5047225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498907$DB0B8CCA-1C46-440C-99A2-D51FF03904DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"748a53c9c023534235756f89c983c27a85dcc310","datavalue":{"value":"logic of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498907$C69348D0-5515-481B-917F-EA83D5961203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498907$0C922B09-93DB-4F2C-9B4A-4953E0D3DF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d24c8f8b8f80e95019ad62f513ca376733d656d6","datavalue":{"value":"deductive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498907$9DC19369-912E-4335-89AB-62DF79727649","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"871cefcb8948ab703a5bab71322354559a823f68","datavalue":{"value":{"entity-type":"item","numeric-id":306823,"id":"Q306823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498907$EFD3A8CC-41C3-4903-BF8F-DEA8D34576DE","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":"Q2498907$308AFB43-8ED2-469E-8928-4704E9DE2D7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf084ca06bd60afd729b8d859dfbe546b85c705d","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2498907$FCB7C4BB-A325-4574-98B3-89EAAC3F60E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c011d0ce636490b1554d8ef8561ed09d3d17694","datavalue":{"value":"W1989314349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498907$03D71468-D2A3-42EA-B8B7-1C02F806D5EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"204b29a27f5014465bbf18a836ac1d7e769ef5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498907$7CAAC544-143D-46E0-A16E-7DE27DF0230D","rank":"normal"},{"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":"Q2498907$F720F5EA-2180-4551-8F64-07EFCD1EE1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498907$C6CBC85F-B026-4543-BE7A-EB6BF450F2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498907$5FF35BD8-483B-4CE2-9A1D-17C695F67CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f520c54025dfa33e5e0c52643f533fefe1e85170","datavalue":{"value":{"entity-type":"item","numeric-id":3330496,"id":"Q3330496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498907$AFC0D13A-CB7C-4C27-AA69-93B910D3265F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffde2ff090b72d14646477b9998f9cce892481ed","datavalue":{"value":{"entity-type":"item","numeric-id":2500487,"id":"Q2500487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498907$E62FED13-277A-44A0-8895-772B38789287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5e958fc448d34ab8f7499bfec475d510864d25","datavalue":{"value":{"entity-type":"item","numeric-id":817692,"id":"Q817692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498907$2E27FC86-B23A-4C2F-AEF3-64DB72B97F69","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":"Q2498907$B8DBEAD3-7A51-4C5E-80F0-AB1DB62EE8A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0dc16198e61d34524bb1c05d5ce0c8d2fbb3f3b6","datavalue":{"value":"10.1016/J.APAL.2005.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498907$B498CE5D-CD34-445C-A27D-4A4BC58B9E6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbce0acb74bcdbfd0438ad480b6361644553b347","datavalue":{"value":{"entity-type":"item","numeric-id":3680816,"id":"Q3680816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2a584eb6fdc9aec4e32b5249c4eb51f270a4b2","datavalue":{"value":{"amount":"+0.7888486981391907","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":"Q2498907$B6BA871F-9003-4D70-A6E4-14D1DB53ACFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9887ba7b6d91920fc4b4a02b93a42868630a31","datavalue":{"value":{"entity-type":"item","numeric-id":1902554,"id":"Q1902554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658a5162a24aeb44da3a7b98e37fe40092ab308d","datavalue":{"value":{"amount":"+0.7666322588920593","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":"Q2498907$1F8E4C07-7AD4-422A-B294-6BBB5C1FC8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56527f09640bd97f1c6f0fd470a4d29c2d0b9add","datavalue":{"value":{"entity-type":"item","numeric-id":2937395,"id":"Q2937395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67ca420454d1f98f73d03b1ac8f1d96d6d1bc74","datavalue":{"value":{"amount":"+0.7476584911346436","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":"Q2498907$6885F876-7928-4477-BB1C-F02AF9DE7761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ef0df6dc8a7a5f4e32d54c60e76c63048c5839","datavalue":{"value":{"entity-type":"item","numeric-id":2433101,"id":"Q2433101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ac5105db8aa586423da05757e33583f62f23aa","datavalue":{"value":{"amount":"+0.7474868893623352","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":"Q2498907$8F50C0CD-E653-4A13-90EA-18B15BEE4D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dd2f266e8d60c1dc6ff790d09a7ad134b51d635","datavalue":{"value":{"entity-type":"item","numeric-id":3360159,"id":"Q3360159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0252a73321668a7d506d603d37669c2b955b3ff","datavalue":{"value":{"amount":"+0.7463341951370239","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":"Q2498907$E3BE06E7-9C63-4CA5-B314-5E0476AD12A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On modal logic of deductive closure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_modal_logic_of_deductive_closure"}}}}}