{"entities":{"Q1078165":{"pageid":1088917,"ns":120,"title":"Item:Q1078165","lastrevid":66251127,"modified":"2026-04-12T08:32:52Z","type":"item","id":"Q1078165","labels":{"en":{"language":"en","value":"The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3959374"}},"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":"Q1078165$5C24D9C7-1887-4CFF-B20B-95E109856A1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e10ed7e575e83c538c9b49bfbc835ffc007e0298","datavalue":{"value":{"text":"The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1078165$5550F091-E733-430F-8F09-CCE18B3A2788","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63cb1e63a9fa294f9991e4ebcfae9b0785efdb91","datavalue":{"value":"0596.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078165$EED15497-04BD-4139-9DBE-F4D01AC49A4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"209cefe6a0eff535f4f35c7d031fafe4337e548f","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078165$8AD77D22-52B9-4F3A-B387-33F67154371F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078165$E2544326-A1E6-4CBB-82A9-9D60D1890989","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1078165$8F6F2255-D30E-4F44-9A56-8B5AB5E5F12A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69ffd9da9d5c7a509f8c90cddca48664d310ff91","datavalue":{"value":"In this paper several modal logics are considered which are based on an intuitionistic rather than on the classical propositions calculus and which do not contain the rule of necessitation (RN): If \\(\\vdash A\\), then \\(\\vdash \\square A\\). Adopting ideas developed by S. Kripke (''non-normal'' possible worlds) and by I. L. Humberstone and P. R\u00f6per (''interval semantics''), the author presents a new, combined semantics with respect to which the above-mentioned systems are shown to be consistent, complete, and decidable (via the finite model property).    The motive for investigating these non-normal systems (which the author refers to as ''epistemic'' logics) seems to be misguided. The author thinks that RN ''Philosophically speaking... means that what is assertoric is what is necessary. For example, if it rains today, then it necessarily rains.'' (p. 671) This, however, is a gross misunderstanding; what RN actually means is only that if A is provable, then so is \\(\\square A\\). Hence, only if it would be logically provable that it is raining today, then it would also be provable that, necessarily, it is raining today.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078165$0C47F7FE-948C-4763-BE13-F4A9961E78B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078165$035C6132-4F8C-4F0B-B707-CE6AC1C3617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078165$E87C7D70-ED3C-43C4-ADF6-9B52B1056F3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"097cfd0839ef8c539e361a75f87d292cc899de5f","datavalue":{"value":"3959374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078165$118439D5-9B0C-41D7-A532-69FADB6D3B44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8237bd01aefc41171a36ebadaa5137e16b14312","datavalue":{"value":"non-normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078165$4DD8BFD2-E1C3-4CBF-8AA4-5F9B3D60D985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078165$2A74656A-104C-4EBC-BDAD-A3EDEE06E7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3773513070984d28ab52e0653163df0e4341e7","datavalue":{"value":"combined semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078165$2F8F9DFF-D860-4E72-BB6B-052055C1685B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b60aa5ae07adad6d3eb52fdc6e8969307a605db","datavalue":{"value":{"entity-type":"item","numeric-id":346756,"id":"Q346756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078165$427BDBAF-1724-4A68-BD05-4942DE045CDA","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":"Q1078165$B762E62A-CE0A-4804-80EF-E41F91D6AF09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4cdb1929a8cf50754d93796a728c5ce161851ef","datavalue":{"value":"https://doi.org/10.2977/prims/1195181417","type":"string"},"datatype":"url"},"type":"statement","id":"Q1078165$E0B48EE9-7E35-4106-A121-8CFB4B12ADEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13aeefaa382d68652ca755a3476cecdf58455599","datavalue":{"value":"W2005725580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078165$849317BF-D5D9-4FB0-B1A3-C67D2B2C23FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5aba92e3a8cdac445bb7ef008d6ca95feb50fa4","datavalue":{"value":{"entity-type":"item","numeric-id":4097254,"id":"Q4097254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078165$F5034DFF-4E7D-4DD5-BBBC-941B4A5059BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72fe4c052551781206932755fb69ba5d329009fd","datavalue":{"value":{"entity-type":"item","numeric-id":4067091,"id":"Q4067091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078165$999A4818-D0D7-4E9B-A674-1E9901FC28EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2174d8effabc38ed49793379d22ba09ef93d6ebd","datavalue":{"value":{"entity-type":"item","numeric-id":2537113,"id":"Q2537113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078165$9809165B-09C4-461A-ADDD-920B463B99AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7b4a02a934ae312fe49821ecb1608cd905c787","datavalue":{"value":{"entity-type":"item","numeric-id":1161736,"id":"Q1161736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078165$DC290D17-A11B-49F2-9669-914E035BCF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849850b9ed12440696721a397c7b09f48058467e","datavalue":{"value":{"entity-type":"item","numeric-id":1258727,"id":"Q1258727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078165$BFE789CA-8632-487B-8B52-37800FDD3B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a611178c9514d07b0c91d8e5c3480708a2f42617","datavalue":{"value":{"entity-type":"item","numeric-id":1147692,"id":"Q1147692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078165$399D5ECD-64E5-4F12-B917-2D82D1BFDFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecb691ce41a7ef44b79ceb81e3babab9e31844af","datavalue":{"value":{"entity-type":"item","numeric-id":5537601,"id":"Q5537601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078165$99F32AA4-692A-4EF1-A364-E45306A83D04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8925268e956277a80ae2b7961834947718d07981","datavalue":{"value":"10.2977/PRIMS/1195181417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078165$586FA878-5230-499D-9CD8-298BEEF6E6C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02687a39fabe33d90ffb01838f9804095780bc61","datavalue":{"value":{"entity-type":"item","numeric-id":1821769,"id":"Q1821769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"971d7986bb1c29ff74dc6574602b971d968148ee","datavalue":{"value":{"amount":"+0.92206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078165$2CC75CF6-3786-45CB-9676-73A0FB89CBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdf29a2f675b4cd9c6f50f62e20f57377b89d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3775557,"id":"Q3775557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71022274dc381ef60ee42d7d997325927b22b88","datavalue":{"value":{"amount":"+0.9062203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078165$00ED3839-E388-4F9C-8818-3E16BE9B7B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bda8203e90c35ad1cc66854ea0db74d933291f4","datavalue":{"value":{"entity-type":"item","numeric-id":5502819,"id":"Q5502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616191abbb705dc0fa2ee5b943cb894286022a97","datavalue":{"value":{"amount":"+0.90535706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078165$D9133A09-DFA6-48A9-A641-8C9F7F052EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3400c4c98e399e0af5be89ac18a6b5b0f0585d9f","datavalue":{"value":{"entity-type":"item","numeric-id":1978015,"id":"Q1978015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf9b583c026211b0539de7802c5f4b142698a9c","datavalue":{"value":{"amount":"+0.89775354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078165$B9E3A156-2F3F-4203-941A-17A025941E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1e82d7c33a908c91ea9a97d1825da8daf0e9c2","datavalue":{"value":{"entity-type":"item","numeric-id":3481700,"id":"Q3481700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c78ffdad8af7e107b8a7da3a26ef2da37f77cf4","datavalue":{"value":{"amount":"+0.896409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078165$D063FFFF-4829-4CF2-8085-0438E3106938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22eed11b0b0c9c9ec9c7b273fbd8edcda3ada453","datavalue":{"value":{"entity-type":"item","numeric-id":4397034,"id":"Q4397034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e0c4a1f6b5e97ff3b9c532ed7ac28e8e4c01c1","datavalue":{"value":{"amount":"+0.89499813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078165$A5F9E833-99E8-49C1-BC65-95C16A1109F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18306ba6ce25f0a59a123708c4f4ae36bdf962b4","datavalue":{"value":{"entity-type":"item","numeric-id":4393167,"id":"Q4393167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55dc0a8774c9cc1ec5f4385a9f5ead40dfb2310c","datavalue":{"value":{"amount":"+0.8946216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078165$18B3EC28-5F61-4D04-B7FF-DF9523669774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e879188170f0c9170f8860ea486bc65b7c720a","datavalue":{"value":{"entity-type":"item","numeric-id":3988148,"id":"Q3988148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c94b795f808b5498cc0e78bb899abb70ab0a9ca","datavalue":{"value":{"amount":"+0.89435095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078165$5FE018B2-4B3F-4ED4-84D0-19F16F4788AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a39cb28cb5e1df4a824b3a874656ed2262fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":4726227,"id":"Q4726227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f80e604ff7542ebbee3477ead43174c9e86b413","datavalue":{"value":{"amount":"+0.892498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078165$5C8C9B17-57AD-4C12-9EDC-E50C5F4F73AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0522efca69039012a3aed205fca5833cb13426d","datavalue":{"value":{"entity-type":"item","numeric-id":3705453,"id":"Q3705453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0695699a34eb654d2940a61cff2e14acc9d8dad6","datavalue":{"value":{"amount":"+0.8915297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078165$5ADAF2C7-78C3-452C-8712-31198F0424CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics","badges":[]}}}}}