{"entities":{"Q2915901":{"pageid":2926621,"ns":120,"title":"Item:Q2915901","lastrevid":51556766,"modified":"2026-01-18T18:49:09Z","type":"item","id":"Q2915901","labels":{"en":{"language":"en","value":"Non-finitely axiomatisable two-dimensional modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083961"}},"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":"Q2915901$79464C6D-7B3D-4C52-9E81-D42CDE7D07AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb220f961f36a28ba3be72b17041406aa22364de","datavalue":{"value":{"text":"Non-finitely axiomatisable two-dimensional modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915901$010BDAD4-A3E7-48AF-8536-2949054CD711","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4326fbca9a3b0e93e1411db629d003b463c5e8b","datavalue":{"value":"1259.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915901$43B7368C-C0CC-4484-8307-E27BA2A5A00B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e113ce386cac873d0ff11625736ab0f6b4a20e5","datavalue":{"value":{"entity-type":"item","numeric-id":1682297,"id":"Q1682297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$3F2747EA-F3E3-4252-AF73-E2B163F0D268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5649821b73b09feb4e8f8dde28ee137e2a55549","datavalue":{"value":{"entity-type":"item","numeric-id":1006484,"id":"Q1006484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$1D782B6D-EB37-4814-8816-8E2CE7DF13DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e152dd6d247137568b90f2b2f788eb084d247ca","datavalue":{"value":{"time":"+2012-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915901$0F6E8147-A879-42A2-933B-8BFA606EB68A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f85523160c4ee1493c3c5ad830828fc15d9ea38b","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1344862170","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915901$13C4406E-BD6E-499A-BFC2-A70A6B056583","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915901$207DA377-DF79-4597-952B-2A6C8806485D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915901$8ED7409F-5C2E-480C-81E6-E887D9CFA2F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"160ae80b1947db5e9b25691f1629c97b6eaf4c15","datavalue":{"value":"6083961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915901$E0CA488E-5627-4D51-81E2-7AEDC371B05F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915901$20D3B0BF-104B-4096-84C4-6F0C500A6712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c527ef851f4257a31dd0ecbe06aca3434d3d6a15","datavalue":{"value":"product logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915901$F4306167-D31B-43AC-B2FB-E28EBFB7D0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15b887f8cbf81387d002788fd170f06c85c7442a","datavalue":{"value":"two-dimensional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915901$06B35AFD-BB3E-4FBC-A45C-343145ED677D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"072808243d6ec1cb77c62455475baf4b26937c52","datavalue":{"value":"infinite axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915901$DF02A2EF-DEAF-44D9-ACF7-1231B7A29152","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":"Q2915901$1B8E3031-4E61-4154-846F-0D07800A4DDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9558b6c3072b0949ed8ad0b560f56e884280ce8","datavalue":{"value":"W2026045948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915901$075C960F-19C2-4923-A8F7-56D681EB7A93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f48f7e24e4eb8cd15ed6882357cba4743ef87c","datavalue":{"value":{"entity-type":"item","numeric-id":1377625,"id":"Q1377625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$BC5FBCD5-8379-47F6-A9A6-E8EDD6F733E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e804d7aea2d1418057c94d927a03053fdf3435","datavalue":{"value":{"entity-type":"item","numeric-id":1601879,"id":"Q1601879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$B1C148FC-B400-44C9-A8A1-0902797A77CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570f9bb6e8727d3e369d07dcbff78755f5d7d468","datavalue":{"value":{"entity-type":"item","numeric-id":4868227,"id":"Q4868227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$C9C1A89F-5FA7-4C74-9552-CB5DB14E970A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$40A75684-BD32-463F-A2DD-FE67AB722ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a76fe84150666183545f68a40fe7195176702d9","datavalue":{"value":{"entity-type":"item","numeric-id":4870562,"id":"Q4870562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$71E96DDF-147A-47D7-86AD-10A5A014AE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4772117584321ae97941797b6277bbea8401117c","datavalue":{"value":{"entity-type":"item","numeric-id":4430395,"id":"Q4430395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$0896C258-893F-4A0F-BDB3-C97FF950C747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$E1B6E82C-80B1-4324-8671-3A74A50B4E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$700C2091-0735-4195-835F-02E0B4EF136D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45af815584b281446704023f9f4c0865a4d4836","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$1B5CD65C-C9B5-459D-BB46-1541BEDE0C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c5f8188a00cdb89ca68ada5045e25c1ac9617","datavalue":{"value":{"entity-type":"item","numeric-id":5718700,"id":"Q5718700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$DCCAB2C9-DD4F-4B5C-99DF-DA397C913128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$94A97EA4-53B4-4393-BA1A-298B7C028E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc0603c1d66c002eb837db8498386dfe23dfc13","datavalue":{"value":{"entity-type":"item","numeric-id":3399179,"id":"Q3399179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$1BD26589-478B-42FF-9D81-B5CAED0E2DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c80b431acba65866ad5b5427c1ce034f57547e","datavalue":{"value":{"entity-type":"item","numeric-id":5461397,"id":"Q5461397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$24F03943-E4F7-4CC7-A13A-5F26BEB3D9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7f0709917b5985a1330ee5389b929926952bae","datavalue":{"value":{"entity-type":"item","numeric-id":4508270,"id":"Q4508270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$824C5E5D-5C98-4003-853D-85D3B7C0BA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$D0E68F77-949C-46BB-B947-79D892464374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1f0d33d6f18eb929b8aee72c47cdbce8d692a5","datavalue":{"value":{"entity-type":"item","numeric-id":2904058,"id":"Q2904058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$9768D3B2-8784-4873-89FB-BA64C7AE65BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9078a468078356fd07f0368352f90217554f2d83","datavalue":{"value":{"entity-type":"item","numeric-id":1058846,"id":"Q1058846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$B6D1BFAA-6D47-46DC-BAC0-8EDA1C5041E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae402495081f71687673aa90b26969eeb53d4e38","datavalue":{"value":{"entity-type":"item","numeric-id":4529490,"id":"Q4529490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$B07D433D-6157-46D5-BD3E-784D6520379A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$6F5FD75D-E4E1-4ED8-97BC-7B2BAE0F9A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$7A6FE39F-AED5-4D5A-8558-2C8F8495828A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e851c5380a2b1703132dffe3ce2f30a1f0b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":2782498,"id":"Q2782498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$6F8F053D-4428-4899-9CC7-521065BE7A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c233490fb1db4447987cc5207b37e3232a6e346","datavalue":{"value":{"entity-type":"item","numeric-id":1849866,"id":"Q1849866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$E0761716-4E01-44CA-B82E-0A5A6D20DCDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4ea4dd71517add3d6c9673ccc97f1e6900fa126","datavalue":{"value":"10.2178/JSL/1344862170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915901$BA61D2CE-E471-4CB5-A2C0-C2DF883C3333","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$4FEE4B94-869D-4525-B191-66A30DC8F5FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1a7f960357c89c0a4dce435e7c89f04c0bd5620","datavalue":{"value":"In this very clearly structured paper, the authors consider the problem of axiomatizing products of two finitely axiomatizable unimodal propositional logics. The paper settles some open problems from the literature on product logics in the negative. It is shown that certain recursively enumerable product logics characterized by classes of product frames with a linearly ordered first component, including the decidable logic \\textbf{K4.3} \\(\\times\\) \\textbf{K}, cannot be axiomatized with only a finite number of propositional variables. Moreover, the notion of vertical depth of a bimodal formula is defined, and it is shown that for \\textbf{K4.3} \\(\\times\\) \\textbf{K} and certain two-dimensional modal logics extending \\textbf{K4.3} \\(\\times\\) \\textbf{K}, every axiomatization must contain formulas of arbitrarily large vertical depth. The paper ends with a list of open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915901$D4198D00-79FD-4C57-B32F-D133C8B6702A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ac137399d9f2a1340fb827cf9bcada44aa811f7","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915901$55CB6D26-E548-484C-8C3E-DFF6EDDB0D2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37da83edc787541f76ae1b71740ffffe6286de5","datavalue":{"value":{"entity-type":"item","numeric-id":2304538,"id":"Q2304538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af94d820a337095976aa349b69bd01d66d533008","datavalue":{"value":{"amount":"+0.8794746398925781","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":"Q2915901$560655EB-C05E-4908-B684-22B00031F352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95534a014d834799deac2107f757923e02f2f4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4508270,"id":"Q4508270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e24d884f6cc2096501436eaf1a7359b2882dc7d","datavalue":{"value":{"amount":"+0.8332502841949463","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":"Q2915901$F3D46170-E219-4439-A868-30D38AD31CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4316f70ed08240dbbba98f43b9edb255f9fa9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4529490,"id":"Q4529490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6438076671968a35ebde8261ae4d2a43fc2b062","datavalue":{"value":{"amount":"+0.8255446553230286","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":"Q2915901$81FDB5AC-2818-46D0-9C57-F2F65B6B6628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7ae6e9dec47858e9c1ceb6119b4027e7b90fb","datavalue":{"value":{"entity-type":"item","numeric-id":3085168,"id":"Q3085168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83062f5e78ea5425d961c272e73a9f98e31c7ce","datavalue":{"value":{"amount":"+0.8247238397598267","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":"Q2915901$FD3C97BB-71A3-4600-B9B5-2710844D2778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3621047a3ff8a2f8cce960cf1f9d42ecfc70f47","datavalue":{"value":{"entity-type":"item","numeric-id":3655206,"id":"Q3655206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264ab78983bdd7416e99d18af4939eeb59ae5d03","datavalue":{"value":{"amount":"+0.8134649991989136","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":"Q2915901$FFD65E4E-5C1D-4334-8B6D-578FB04D5104","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915901"}}}}}