{"entities":{"Q1428978":{"pageid":1439718,"ns":120,"title":"Item:Q1428978","lastrevid":67422222,"modified":"2026-04-12T17:32:17Z","type":"item","id":"Q1428978","labels":{"en":{"language":"en","value":"Finite model property for an intuitionistic modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2063084"}},"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":"Q1428978$3EB20DA7-3BE0-407C-BB55-E7414013BF64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c51d8df78e4908d0950f0c1aab061d80b9e0a072","datavalue":{"value":{"text":"Finite model property for an intuitionistic modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1428978$A05D99EB-472E-4904-8886-41EAC158E169","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efec6d6fa4de037b746be35a2298af08cf4752a9","datavalue":{"value":"1045.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428978$AF6DF750-00B4-427D-B53C-6CC27ABBFFB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428978$679145C6-292F-49DD-A683-F2AA0D15EAFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a550d8ac0fd1ac23be3a86dcd027d3648e93751","datavalue":{"value":{"entity-type":"item","numeric-id":266994,"id":"Q266994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428978$AD859278-8654-49FF-A40D-840A07F9B698","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1cd9bf3779f6c23821bcce79ad403c8df2b71c8","datavalue":{"value":{"time":"+2004-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1428978$27054986-8FE8-42D0-B527-9C06942B7F71","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"862ed61e00b2aa41020b365ab135f2a2ff6e07bd","datavalue":{"value":"This paper establishes that an intuitionistic bi-modal version of the normal modal logic \\({\\mathbf K}\\mathbf{5}\\) has the finite model property. The logic is bi-modal because, within an intuitionistic framework, the modal operators \\(\\square\\) and \\(\\lozenge\\) are not interdefinable. This calls for a pair of modal accessibility relations within the standard Kripke frame for intuitionistic logic. That this logic \\({\\mathbf i}{\\mathbf n}{\\mathbf t}{\\mathbf K}\\mathbf{5}_{\\square\\lozenge}\\) has the finite model property is proved through the filtration method. This, however, requires a detour through an extension of the language to include two additional modal operators \\(\\square^\\infty\\) and \\(\\lozenge^\\infty\\), which might be thought of as the transitive closures of the basic operators. Since \\({\\mathbf i}{\\mathbf n}{\\mathbf t}{\\mathbf K}\\mathbf{5}_{\\square\\lozenge}\\) has the finite model property and is finitely axiomatizable, it is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428978$6D277103-2AF5-4943-B7BE-C8DA4FDBB814","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428978$8F39DDD2-65F1-416C-9C7C-F06AEEA19504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428978$7D36F536-9227-4A08-89C3-29065012FA33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07932ba65ca47a328685b3fa1fa880ff3cf18571","datavalue":{"value":"2063084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428978$0B58381E-CAAC-47F3-B30E-3F229C2DAD4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428978$67802A1C-FF0C-48A2-8167-92C80D883735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428978$6AE55672-6858-417F-8B16-2DA20F1798AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428978$FFD8253A-266E-4E13-A7C6-EE8D765CAB02","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":"Q1428978$68BAC714-D141-450C-8250-B3FF51DAD931","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":"Q1428978$9FEB7510-DC50-4597-8D65-D3BB44613248","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03061b874bb76e89a1179183de5290dff9153ff","datavalue":{"value":{"entity-type":"item","numeric-id":4443185,"id":"Q4443185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419a640bf620e39774116a27b49929fd96e94255","datavalue":{"value":{"amount":"+0.83259516954422","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":"Q1428978$0E32EF96-0A4B-4F46-9E7A-E3C8FB4FA354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a59fd53ee518cf6fa23036990f6d6b67b8eadb","datavalue":{"value":{"entity-type":"item","numeric-id":4704648,"id":"Q4704648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0daa87b18a5d3cc49bb17ea4b1dcbbceda6f4822","datavalue":{"value":{"amount":"+0.808778703212738","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":"Q1428978$98C60E68-FE88-445E-87D5-725A41DD6B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cde959c3e1459709db24a53cb30b857b3f6169e4","datavalue":{"value":{"entity-type":"item","numeric-id":5095629,"id":"Q5095629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905f03b5cfd58a94933aee2e505247250271afc4","datavalue":{"value":{"amount":"+0.802675187587738","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":"Q1428978$D625AE62-209F-408E-98C2-DB77CFA20A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54dce04eab39152a1389e2460c31bb10a6b35b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4215613,"id":"Q4215613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c96c9c6f8a4a1fed3f9f09880ab33472e624a2","datavalue":{"value":{"amount":"+0.8014192581176758","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":"Q1428978$80181267-6427-4CCB-A0EF-6BB713093B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2763b6a93dc4e2a595faefd7d2a7fbf71be499","datavalue":{"value":{"amount":"+0.801030695438385","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":"Q1428978$77E338A1-6268-43C3-AF08-804E00F1F060","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite model property for an intuitionistic modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_model_property_for_an_intuitionistic_modal_logic"}}}}}