{"entities":{"Q1924325":{"pageid":1935067,"ns":120,"title":"Item:Q1924325","lastrevid":47416918,"modified":"2026-01-01T16:44:55Z","type":"item","id":"Q1924325","labels":{"en":{"language":"en","value":"Multi-dimensional semantics for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 935223"}},"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":"Q1924325$226BE496-C92D-4A4D-8486-1F7FC5350A13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"970702c3e4ee1959c431eac98a6c9c772887363c","datavalue":{"value":{"text":"Multi-dimensional semantics for modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924325$7CD44F3E-5E28-4673-896A-BD8077FC090F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acfc33dfe2d65d290bf39adf67567291a9d2b185","datavalue":{"value":"0864.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924325$B7DEDAE9-4766-46F8-8C60-384DAE97F930","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924325$8D1DB727-2B73-4953-B53D-072B2B2CF82C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924325$C0926E3C-E62D-4051-A1A1-14C47449500A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a12bcc24bcb1687cc3955f148bdc9dcf1a4ac38","datavalue":{"value":{"time":"+1997-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924325$1B184FCC-CFB9-4744-80E5-ADDFD72F6533","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d1f84b5d4d694a225a0530b5140c0fa6d7267da8","datavalue":{"value":"It is shown that a minimal normal modal logic (with arbitrarily many modalities of arbitrary arities) is strongly complete w.r.t. multidimensional Kripke frames with generalized composition relations for \\(n\\)-ary modalities, \\(n\\geq 2\\), and with the domino operators \\(((a,b)R(c,d)\\) iff \\(b=c)\\) for unary modalities. These classes of frames are elementary (for any finite number of modalities). This construction is related to \\textit{L. Henkin}, \\textit{J. D. Monk} and \\textit{A. Tarski} [Cylindric algebras (1971; Zbl 0214.01302)] advocating uniform ``concrete'' semantics for modal logic. According to their suggestion, the relations should be defined in straightforward set-theoretic terms, and so each of the frames is uniquely determined by its universe.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924325$ABD7C8D1-3D0B-43F6-97A1-9BAE2ACF6283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924325$8BB2BAB0-714C-4C24-9EB0-0F1BBDA67CE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28dffd49fed6bd28fcf76848db32a25e07f8ee7a","datavalue":{"value":"935223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924325$AA1E5216-1F62-4BF1-BE00-1360F2440BFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c4d115edcf5aebf3ed0ce2a2e1d2f65f947f327","datavalue":{"value":"multi-dimensional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924325$E9425C82-CBC8-4747-A67F-71C57BD1644E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924325$F707B8AF-2CB2-4C75-A3A3-346BFE872490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6d81377bb9fe493e0b31a63d9717069578b5b3","datavalue":{"value":"normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924325$11A924E9-514E-40A6-A775-3620C8A50EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82d24081c995aed14c07fb4488d7abc69676df12","datavalue":{"value":"multidimensional Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924325$4BD846BB-62EB-4CFE-BB22-D66366CE05E7","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":"Q1924325$6C930FAA-CC1D-4B46-B749-771426A3AEF3","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":"Q1924325$392E7927-3397-46F0-BF15-B511802F49F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79c189fa06ea210ef42ec0e628c2abea599a6a60","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040067313","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924325$94B7523A-1FF1-453B-876A-CEF3818A2E0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fd636d2fb767188960842e7ff8ee3c0b16ef791","datavalue":{"value":"W2165522528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924325$2299DE85-14A7-463B-9EA1-F1BAE1687814","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb352cf3a8aa1bcadf6623070f33c0f521239455","datavalue":{"value":{"entity-type":"item","numeric-id":4342093,"id":"Q4342093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924325$49C948C4-04F5-4EF9-A573-CCB4052900C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9784f0b5b1e69bb83368467e8ad61c7ce436931b","datavalue":{"value":{"entity-type":"item","numeric-id":1314283,"id":"Q1314283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924325$3FB22681-86DD-48C3-9C03-EEEC794B235F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b42a0e5236ff218c3419ca113c6c55d3e5955eb","datavalue":{"value":{"entity-type":"item","numeric-id":1064325,"id":"Q1064325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924325$0C04D267-ECA6-4F45-BEA3-3A2E2F330BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803f046334169b59f9ae51ca2916bc0e145fe5a3","datavalue":{"value":{"entity-type":"item","numeric-id":4011721,"id":"Q4011721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924325$AE84C16F-FF6A-4A60-A6AA-F0CA8337E28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1f3780260302945db0add04411654a1503c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":3661577,"id":"Q3661577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924325$2D724DE2-F4AE-40EB-9536-D11F92168FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924325$91E042BC-38B1-4E3F-BED2-14925DDA9384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078de0dacc7640af35258a090cc299186d8f008","datavalue":{"value":{"entity-type":"item","numeric-id":1188935,"id":"Q1188935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924325$03AFA02F-55DD-4B4B-87A1-9645B639C2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b26b0af57155dcaea044679cb317cf5529a987","datavalue":{"value":{"entity-type":"item","numeric-id":3985545,"id":"Q3985545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924325$45500CF8-18B9-43CA-B2C0-5B4F19FF278C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dcc0a4250a7c04388e6739f61aa4462be81211f","datavalue":{"value":{"entity-type":"item","numeric-id":4842635,"id":"Q4842635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924325$F8BEEB1C-8FBE-4D61-B4B7-7052C628AC4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb75c4e253bd2413d5284624c232687e08056c20","datavalue":{"value":"10.1305/NDJFL/1040067313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924325$E5C4EDD3-CAA3-4C15-8AE1-33F333516665","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fcd622129af9328d6ab93f26ef631a870c8ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5065138,"id":"Q5065138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50b5420b68b76bb2d656107632494728937c7ab","datavalue":{"value":{"amount":"+0.7912959456443787","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":"Q1924325$D4725AC8-2112-48A0-B1A5-9028AFDE64DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46195bdaecdba4f99209dd8a02f6088e3f07a152","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7cae7b1d10dba6aaab5106265726dae6ff5a20b","datavalue":{"value":{"amount":"+0.7889220714569092","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":"Q1924325$97ECD6EC-E06B-480C-8809-C2578BDE5E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f7d4a96404f77fd35cca6d55a19fd2b38dca28","datavalue":{"value":{"entity-type":"item","numeric-id":4489076,"id":"Q4489076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba6009e1a7bf48569acc52928f7a7ef7474332f","datavalue":{"value":{"amount":"+0.7889214754104614","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":"Q1924325$E928421B-7EF8-4AB3-A6A3-99AE5C537E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ecc3123e43a031171df94e590860d4ef3a8991","datavalue":{"value":{"entity-type":"item","numeric-id":2904058,"id":"Q2904058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb8b3724aefc3571c7d9fa873ed9cc14f3e794f","datavalue":{"value":{"amount":"+0.7848452925682068","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":"Q1924325$C58D93F9-846B-40B8-8809-46FD4C88A090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51eb5c0f111b2e9efb848e166dccd71bf81ef59d","datavalue":{"value":{"entity-type":"item","numeric-id":4531580,"id":"Q4531580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6bce94500e238bc3d224544d0248238be470dbe","datavalue":{"value":{"amount":"+0.7646880745887756","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":"Q1924325$E1DD82E6-3D70-4C26-9264-427711CF3737","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1924325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1924325"}}}}}