{"entities":{"Q1005938":{"pageid":1007786,"ns":120,"title":"Item:Q1005938","lastrevid":66565959,"modified":"2026-04-12T10:59:01Z","type":"item","id":"Q1005938","labels":{"en":{"language":"en","value":"The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529387"}},"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":"Q1005938$09790EE7-8375-4368-BFA7-EEEC285519CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26ce5d82ff53cfad731a46c9022962fe2bbed2c1","datavalue":{"value":{"text":"The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005938$6CA49C78-55D2-4B87-AAB1-86C2A3592C78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe63e0d6d3c7ff1adfeaf6f53049102c4de7c00e","datavalue":{"value":"1169.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005938$0B416D83-0585-42AC-9D7A-22CD1C7BB9C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0797b8cc93e9fef1c2692fdfedb9507e24aaf904","datavalue":{"value":{"entity-type":"item","numeric-id":302227,"id":"Q302227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$2B5129CC-FBBF-4F08-BED1-C4A058852234","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":"Q1005938$FBEC4F6A-D6F2-48C2-B869-EB379E488594","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1005938$4F90F21E-C244-44F9-8EDD-436330C91120","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b9906cd7c25b8e2789452f50f0fd43e3861f48fd","datavalue":{"value":"This paper continues work of the author in [Log. Anal., Nouv. S\u00e9r. 47, No. 185--188, 259--285 (2004; Zbl 1078.03016)] to provide a method of proof for the normal modal logics K5, S4.2, S4.3, S4M, S4F, S4R and G within the framework of the Inferential Erotetic Logic of \\textit{A. Wi\u015bniewski} [Log. Anal., Nouv. S\u00e9r. 44, No. 173--175, 5--43 (2001; Zbl 1045.03508)]. Such erotetic logics may be viewed somewhat as a Gentzen-style sequent calculus, but turned upside down. Here, soundness and completeness results are established for the logics in question.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005938$7A6BAB19-B823-43DD-AA95-990404197543","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$D46F1450-78AF-4AC3-B00A-CCEB949A20B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005938$28E9B300-B282-48AF-8493-237765A11F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005938$BC7EC4D2-D004-4CBE-B1F6-3D226F0B073B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9d53ddbd713b190562e17e0367b4acc9806c94a","datavalue":{"value":"5529387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005938$D0D91525-D2B7-400E-83DE-80D3F37A6140","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"821c75b5f9a4c5a9c5ef9edcecd9bc86ac28c6dd","datavalue":{"value":"modal propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005938$AE9E3EAE-CC83-45C0-876D-6F5C595E8AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9c1b8c0fd9e0e04efaf9ba49a8c7d4bb3cdf42","datavalue":{"value":"erotetic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005938$D3852781-CD61-47F5-941C-FB3DC4ED629C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dd74bfbae9086819a7532c82436ffa9bd98e330","datavalue":{"value":"Socratic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005938$DC1BB6E1-DA48-4DD3-8BC5-FBEAA2CC9ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008f3a097249f26f3154dbc3a79073cba78ecfab","datavalue":{"value":"extension of S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005938$A0CED005-4798-4417-BA64-FB0B1662C4B8","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":"Q1005938$0AAE2B17-0173-42DE-85CF-38366C5A5661","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92d6cb1a8c6df2bdac1fbc1c9afea78d8dd17cba","datavalue":{"value":"https://doi.org/10.1007/s11225-008-9134-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005938$7DEB1922-489E-4C4A-8D28-2005A12F5C29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90caafad22adf0ff9b9d6239ef1a3b01b8cb612a","datavalue":{"value":"W2129223873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005938$7974E525-953A-41E5-92E5-E739B4211EED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$74425399-ADD5-4B2A-8DFD-E3332CB7F782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351d3ffcd8314274cbfd210166d175deef40ea56","datavalue":{"value":{"entity-type":"item","numeric-id":4789449,"id":"Q4789449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$38124B0B-3528-4A15-8A61-EAE799007A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$E8DFDC3D-1CB2-45E5-8324-B44C632A4866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$58B16F43-9942-48A3-8CFB-6F8FC6BA997E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$865DC3B0-A7DC-42B8-A9C7-85D80CE72675","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":"Q1005938$0200BC20-4FF5-416C-8F1F-FD24219938F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87177517a8ed3fc58081949e1cc58a70410b2bb","datavalue":{"value":{"entity-type":"item","numeric-id":4941933,"id":"Q4941933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$1BB5C147-EE40-4B86-B4AD-514D462DD92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a194178070cd3c5ad9a396baf8f7db21f82fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1853457,"id":"Q1853457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$E4989FC6-F72D-45D1-BE45-16C0F4F096B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde43bacb4492897e48a839163789926856d7fcb","datavalue":{"value":{"entity-type":"item","numeric-id":5695175,"id":"Q5695175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$0680A5BF-31ED-406E-9CB6-05C099D76D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1c7d95a08629049715a51a373c9145566b686c","datavalue":{"value":{"entity-type":"item","numeric-id":1005938,"id":"Q1005938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$68A1DEE9-AD59-48A5-AB97-B220A28834BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd0e1c1a7a2d7a54724d39e6392e0ff448738b4","datavalue":{"value":{"entity-type":"item","numeric-id":2271187,"id":"Q2271187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$B4794567-F741-4125-B50B-847927D68DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5906a3f48670210bd3cf26d335f7bea64625af","datavalue":{"value":{"entity-type":"item","numeric-id":3279278,"id":"Q3279278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$1698F180-1C5B-4F37-B0B6-FB2998E1409F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$BC19B531-48F9-4E32-9F34-4907ACC0C93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$379AB24C-32B2-4039-B764-036B85381C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af002d474431f1ee30c55d6837906861e7d3d2ca","datavalue":{"value":{"entity-type":"item","numeric-id":4811767,"id":"Q4811767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$C742C751-948A-497B-B51D-9A46B0143330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c78cdfcb5522837b65a574546a4b21a5164ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1876085,"id":"Q1876085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$2F6082B4-A641-4FC0-97C2-7AA2ABE67C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bdd226c527627098881fab98d3ad3231704cd6b","datavalue":{"value":{"entity-type":"item","numeric-id":2499290,"id":"Q2499290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$584278C4-8307-4ADD-8B79-FC008F324BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e53ac15c4e298f20aab0306489bf59e7ac95e2","datavalue":{"value":{"entity-type":"item","numeric-id":813092,"id":"Q813092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005938$71BEFEDD-814D-408B-AD3B-8D2CC2640BFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d49d7caef2a4557230502a8a297621d33ad550c","datavalue":{"value":"10.1007/S11225-008-9134-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005938$EAEDB70D-CC49-4DB9-8BF2-9C615CA4B00A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb94e4d4a8937937214ec612779f882c5020c6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5695175,"id":"Q5695175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820dcc63201f86d7a33c31ac13a159491947cb0b","datavalue":{"value":{"amount":"+0.9074060916900636","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":"Q1005938$7025AFB1-E507-4C95-9096-C96C21D82381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"311858170bebac8105f6adfd709c7f6dd56a37eb","datavalue":{"value":{"entity-type":"item","numeric-id":1876085,"id":"Q1876085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c5ac2cb7a5e7fd44673ba64c7a00e2d85c3a33","datavalue":{"value":{"amount":"+0.8165966272354126","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":"Q1005938$F9A82CC5-747A-4BF0-96C7-27C60D1762FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041c34fd35d00f388d0834e867f4d0b7353f27a4","datavalue":{"value":{"entity-type":"item","numeric-id":2271187,"id":"Q2271187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66a42912a2c78e88f3d4c71da3d48b9c4b09401","datavalue":{"value":{"amount":"+0.8117843270301819","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":"Q1005938$4B8A1729-5F78-434A-B767-F327A46BDCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc2fcb6768cd2215c88b6ae3a35d403a4430eb7","datavalue":{"value":{"entity-type":"item","numeric-id":813092,"id":"Q813092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c9951bf2adc42ca7852ec7b8386ad8a6e7cec72","datavalue":{"value":{"amount":"+0.7884889245033264","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":"Q1005938$81AFDB77-068C-47E2-B4E2-9D19509757EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28347fe5f4cb98521933a9f5c6309f40f8acd12e","datavalue":{"value":{"entity-type":"item","numeric-id":383562,"id":"Q383562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2438aad7eb1fd11f4db3cd9fd93f22b49ed80420","datavalue":{"value":{"amount":"+0.7855050563812256","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":"Q1005938$1CD982B6-C315-44B8-9A45-B18A0E254850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_method_of_Socratic_proofs_for_modal_propositional_logics:_K5,_S4.2,_S4.3,_S4F,_S4R,_S4M_and_G."}}}}}