{"entities":{"Q1283321":{"pageid":1294071,"ns":120,"title":"Item:Q1283321","lastrevid":68454885,"modified":"2026-04-12T23:49:35Z","type":"item","id":"Q1283321","labels":{"en":{"language":"en","value":"Interpretations of intuitionist logic in non-normal modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1275389"}},"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":"Q1283321$8A8CEB49-EFCE-4A71-8A4D-31BDC45B7599","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed8b2db15c2b63703f1c64657cd7b28b0a46f829","datavalue":{"value":{"text":"Interpretations of intuitionist logic in non-normal modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1283321$1C16F4CE-5325-402B-9A09-52AF89090D77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2924aff2ad589d14267c55eb3ce2f91617e0d419","datavalue":{"value":"0955.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283321$34FB69A9-7693-463E-85CE-527E260D1B39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dd343f68b24544454bcb8659743a2bc40b5fcaa","datavalue":{"value":"10.1023/A:1004324522424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283321$664ED6FE-EC1D-4ADF-9AAD-C6B2DCA6159F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38ec7001eb13c5ce4559611467e056c0b186e0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1283320,"id":"Q1283320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283321$9B1AC956-00D0-4C9B-9525-C0F42C447AF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283321$10EBDF5C-61F6-4A64-8A86-C3A31F7B65C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd3d0fc585eed54c845d3fdbd41c1d291c43a14","datavalue":{"value":{"time":"+2001-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1283321$2E81F555-01C9-4960-B2D5-B1203D9B7DEB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40b0c2058332c8d4c095ac1642967df210b591b1","datavalue":{"value":"By a result of Hacking, Tarski translation \\(t\\) interprets the intuitionistic propositional calculus \\(\\mathbf { IPC}\\) in the non-normal modal logic \\(\\mathbf { S3}\\) (i.e. \\(\\mathbf { IPC} \\vdash A\\) iff \\(\\mathbf { S3} \\vdash t(A)\\), for any formula \\(A\\)). This motivates a translation of Kripke semantics for \\(\\mathbf { S3}\\) into the following non-normal Kripke semantics for \\(\\mathbf { IPC}\\). A non-normal model structure is \\(M = \\langle W, N, \\leq, V \\rangle\\), where \\((W, \\leq)\\) is a poset (of possible worlds), \\(N\\) is a non-empty subset of \\(W\\) (the set of normal worlds), \\(V\\) is a monotonic valuation of atoms in normal worlds, i.e.  \\[ (V(A,a) = 1 \\Rightarrow (a \\in N) \\& ((a \\leq b \\in N) \\Rightarrow (V(A,b) = 1)) \\tag{1}  \\]  holds for atomic \\(A\\) and \\(a,b \\in W\\). The truth definition for the implication is as follows:  \\[ V(A \\rightarrow B , a) = 1 \\text{ iff } (a \\in N) \\& \\forall b \\geq a [V(A,b) = 1 \\Rightarrow V(B,b) = 1], \\]  and similarly for \\(\\neg A\\). A formula \\(A\\) is valid in \\(M\\) if \\(\\forall a \\in N\\;(V(A,a) = 1)\\). This semantics is extended to the intuitionistic first-order calculus \\(\\mathbf { IQC}\\): the truth definition for \\(\\forall\\) is modified in the natural way, and the following (rather strong and unexpected) property is assumed:  \\[ D_a \\not= \\emptyset \\text{ iff } a \\in N \\tag{2} \\]  where \\(D_a\\) is the individual domain of the world \\(a \\in W\\). The paper shows soundness of this semantics for \\(\\mathbf {IQC}\\); the completeness follows immediately from the completeness of the standard Kripke semantics.    Reviewer's remark. The proposed non-normal Kripke semantics is actually equivalent to the standard one (for \\(\\mathbf { IPC}\\) and \\(\\mathbf { IQC}\\)). Namely, the validity in a non-normal model structure \\(M = \\langle W, N, \\leq, V \\rangle\\) is equivalent to the validity in the standard Kripke model \\(M = \\langle N, \\leq, V \\rangle\\), in which \\(\\leq\\) and \\(V\\) are restricted to the set of worlds \\(N\\) --- since \\((1)\\) trivially holds for non-atomic \\(A\\), and the condition \\((2)\\) makes the equivalence obvious for \\(\\mathbf { IQC}\\) too.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283321$E1FD2515-AA17-4A8E-ABA7-D363D7EF00A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283321$44306787-EC32-4A96-A3F1-7593F06FC65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283321$3B5089E1-8302-4171-921D-0B684231AB92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20e2adddbff9552077809f29a1c68ad1e628d6d3","datavalue":{"value":"1275389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283321$762926B8-6324-4D47-970E-B07B0075BA34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283321$31436539-F35A-44B7-B1EB-84CF4AA9E30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283321$AB9EF12C-C952-4217-B9D9-275648EC1D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"975543c60e1e771c39dda06dba52c72f95a08d17","datavalue":{"value":"Tarski translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283321$DEE50F15-0A0F-41F7-AD23-A50A4AB352F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283321$641FF74B-4F13-4584-9B7C-9D7A5D54E3A9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb839efe94641093a233cdcf9035916be7697d4d","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283321$395FED88-3AE3-4F36-B35A-14FF53B4AA85","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":"Q1283321$2FEEF52E-75CF-41E6-85F1-BF3B3E2CB930","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ae728e1569e8881389d9f34d1cacef85ad1d45","datavalue":{"value":{"entity-type":"item","numeric-id":5607976,"id":"Q5607976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283321$80198073-F00E-4C69-B434-6617F64BA3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f776a9049b5d345cc4d1d41aa1d8b454cafc141","datavalue":{"value":{"entity-type":"item","numeric-id":5341748,"id":"Q5341748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283321$0697BDF5-8BF1-450C-9329-C473061B2028","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":"Q1283321$27BC894F-0461-4CA7-9A0C-F9B9967FF5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283321$5906418A-C326-4FB5-B897-634E0B0A4359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a17d219d6d29e150fd29432a905dce63c6017de1","datavalue":{"value":{"entity-type":"item","numeric-id":5581592,"id":"Q5581592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283321$C5369830-2F05-4748-A5B5-2F4134947176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283321$3AA5D862-7FF3-4A9B-AC2B-7CEFA714A431","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b116ed7a87808df9757fa48e3d9185e8a8cf028","datavalue":{"value":{"entity-type":"item","numeric-id":685055,"id":"Q685055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e92aaf6bc94ff4a13e4f5b694fea5fb794eb8a","datavalue":{"value":{"amount":"+0.7741142511367798","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":"Q1283321$875A4455-E511-452D-9ACC-D9C19E627ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3ee68f0de1d97125ef1ec926520acca9867ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93540970f94eee8a72c9355b21e533828bdc034c","datavalue":{"value":{"amount":"+0.7719396352767944","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":"Q1283321$1E0588F5-4F4F-4B86-843F-9AD19B48061A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a7cdd83b865fbe93140f669259d2e7a5c27e1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3329438,"id":"Q3329438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eecbd67edd7edfedde09511dff531359e3d4b039","datavalue":{"value":{"amount":"+0.7559581398963928","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":"Q1283321$AAD6B09F-F122-4A78-89B8-7E4BA421F21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09988a222abae9cdc9b6d23223877f09c66dc240","datavalue":{"value":{"entity-type":"item","numeric-id":4001984,"id":"Q4001984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02bd0e0a342ba3ea15eabd2e48ce6a4758f0096d","datavalue":{"value":{"amount":"+0.7550392150878906","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":"Q1283321$72AEFB1F-58D7-4D21-A141-F8F95D4DE059","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpretations of intuitionist logic in non-normal modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpretations_of_intuitionist_logic_in_non-normal_modal_logics"}}}}}