{"entities":{"Q647410":{"pageid":649259,"ns":120,"title":"Item:Q647410","lastrevid":51371891,"modified":"2026-01-17T23:34:56Z","type":"item","id":"Q647410","labels":{"en":{"language":"en","value":"An algebraic approach to canonical formulas: modal case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977619"}},"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":"Q647410$E3613C18-FD34-4DCB-AD2A-612DBDE77E6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"362bc7a649d931b5935084cf4c7ff91e897d96d8","datavalue":{"value":{"text":"An algebraic approach to canonical formulas: modal case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647410$4AA66F9A-BC28-4E17-847E-2E5EE4C6330E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22dace317aa18b8e580241a5aa306dc5770b647c","datavalue":{"value":"1250.03124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647410$64A2C93E-4406-4A9B-AAD3-09272DB1E728","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$0E3B5A84-E810-4AA8-B99B-489F8D9B0EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$E0704602-15A8-437A-AE9B-3A6187ADD8B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$186E5236-0E93-4289-BF64-23692890EA04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q647410$AEFB8B95-A560-43D9-BCB0-36E9463114E0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"547fbc8750db86480dc13480f4c8df4b32d45205","datavalue":{"value":"The authors generalize the result that the category MA of modal algebras and modal homomorphisms is dually equivalent to the category MS of modal spaces and continuous \\(p\\)-morphisms to the following result:  Theorem 3.4: MA\\(^R\\) is dually equivalent to MS\\(^P\\).  Here MA\\(^R\\)is the category of modal algebras and relativized modal algebra homomorphisms, and MS\\(^P\\) is the category of modal spaces and partial continuous \\(p\\)-morphisms.  For a modal algebra \\((A, \\wedge, \\vee, \\neg, \\diamond, 0,1)\\) and \\(s\\in A\\), \\(A_s\\) is defined by \\(A_s = [0,s]=\\{ x\\in A\\,|\\,0\\leq x\\leq s\\}\\), and the operations on \\(A_s\\) are defined as follows:{\\parindent=8mm \\begin{itemize}\\item[1)] \\(x\\wedge_s y = x\\wedge y\\) \\item[2)] \\(x\\vee_s y = x\\vee y\\) \\item[3)] \\(0_s = 0\\) \\text{and} \\ \\(1_s = s\\) \\item[4)] \\(\\neg_s x = \\neg x \\wedge s\\) \\item[5)] \\(\\diamond_s x= s \\wedge \\diamond x\\)   \\end{itemize}} \\(A_s\\) is called a relativization of \\(A\\) to \\(s\\). For modal algebras \\(A,B\\) and a map \\(\\eta : A\\to B\\), \\(\\eta\\) is called a relativized modal algebra homomorphism if it is a modal algebra homomorphism from \\(A\\) to the relativized modal algebra \\(B_{\\eta(1)}\\).  For Stone spaces \\(X\\) and \\(Y\\), a partial map \\(f:X\\to Y\\) is called a partial continuous map if dom(\\(f\\)) is a clopen subset of \\(X\\) and \\(f\\) is a continuous map from dom(\\(f\\)) to \\(Y\\).  Let \\((X,R)\\) and \\((Y,Q)\\) be modal spaces and \\(f:X\\to Y\\) be a partial map. Then \\(f\\) is called a partial continuous \\(p\\)-morphism if:  1. \\(x,z\\in \\text{dom}(f)\\) and \\(xRz\\) imply \\(f(x)Qf(z)\\);  2. \\(x\\in \\text{dom}(f)\\) and \\(f(x)Qy\\) imply that there exists \\(z\\in \\text{dom}(f)\\) such that \\(xRz\\) and \\(f(z)=y\\).  Moreover, by considering MA as the transitive case K4 of modal algebra, they give a new algebraic proof of Zakharyashev's theorem that each logic over K4 is axiomatizable by canonical frames.","type":"string"},"datatype":"string"},"type":"statement","id":"Q647410$7B7BD2A4-E939-4085-894C-60397FD8C539","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fef49cf07248ee3df4000a1a71cf1884173cc9aa","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$C67BC7C4-B74D-4E38-9695-94BDB12E9504","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647410$5404E2F3-3F1E-4F1B-AADF-E23A35DE5A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647410$F9A4018C-CBAB-4737-A8DC-B6DE4842C62C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7287f609daf3d46817fa1e024da076655b228f7","datavalue":{"value":"5977619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647410$F070A546-89F7-458C-AA39-828D0A23B585","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q647410$A673855D-5C9D-4ABE-B67B-FB631B5A12F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9c14e173cc76358fce0066de8124e3f906abfd","datavalue":{"value":"duality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q647410$6B34EB21-4355-45B5-A972-3A33CE78714C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06059c11269d258bbccac60c4e9a619d8f9e5b9a","datavalue":{"value":"relativization","type":"string"},"datatype":"string"},"type":"statement","id":"Q647410$0CD1DA73-3781-43A0-9068-0C26E074D3D6","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":"Q647410$3943E38E-956E-45E2-A7B5-B834E024CA56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7015eaa6a4b95eccd2bf9cf0753adb505cde521","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9348-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q647410$CE4D4E9B-9DCC-4C3E-803F-F5D4CB596B33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4e6d79d7bd85cef81f0e74334ca8cb3695982dc","datavalue":{"value":"W2007326500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647410$91A88A23-F50A-4D66-8759-659E521D4E93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fc3f64e300a3d6c539bb15ee466fd021c2616d","datavalue":{"value":{"entity-type":"item","numeric-id":3644804,"id":"Q3644804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$D8436400-91FA-4B9C-9AC3-B82387AEC7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fac0715e16e8fbd1971333832aae7999e9a69e","datavalue":{"value":{"entity-type":"item","numeric-id":2370373,"id":"Q2370373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$A614A77F-0F59-46A1-93FA-882285474CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ee5fdcd591b5e712898d66bccba4d0cc23af4c","datavalue":{"value":{"entity-type":"item","numeric-id":540406,"id":"Q540406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$2C8CFE9A-16C7-4DBE-A315-D7CAE90DAFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$595EE3EA-235E-4722-9E99-4A15702769FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$E2ADCF5B-DC1E-48CC-B403-1E14B5F3529D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$5B6F23ED-B0FF-42B1-992E-320BD2909882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$A3D32372-807E-4DB0-819B-7E141F53CA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$0D4D895D-A02B-46C1-97C6-C970D1B4CD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$F5A0FDAA-B8A2-42FA-968A-7AE4262408D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc56f2f655fec3b9707505e4f9c356f0c245d319","datavalue":{"value":{"entity-type":"item","numeric-id":3900020,"id":"Q3900020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$15F3414E-D230-4841-A5DD-4338FB31C6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d24cb6b0653e5ab48480c9fc9fba5674218aedc3","datavalue":{"value":{"entity-type":"item","numeric-id":4065518,"id":"Q4065518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$710AE194-3AA3-408F-B869-BDB01E937012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc687154876af29438e40818d3c5a719d115f72d","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$5776D4A1-2EA4-4960-9DB4-285EC161B185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84bd6b5a534f67b6b7d4c37a09d43bc1c1517c9","datavalue":{"value":{"entity-type":"item","numeric-id":4894720,"id":"Q4894720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647410$314A0FE9-CDFB-4707-B4D4-30D3A7A8DEBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8868e092d91bffeaa0079cd9b458edeaf308cdda","datavalue":{"value":"10.1007/S11225-011-9348-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647410$CF9334D3-ADBD-4478-A46D-BC998A174BB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a610c80361c652d7fef9ac17913fbec9f9101f","datavalue":{"value":{"entity-type":"item","numeric-id":3644804,"id":"Q3644804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d074943288076d67f64a285ae3359cbfc351e0f3","datavalue":{"value":{"amount":"+0.8397483229637146","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":"Q647410$B92515B1-0A05-48A2-A8C9-24BD8065B3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d8e8e5cc0786914df3602ef33b42fa8d1651d8","datavalue":{"value":{"entity-type":"item","numeric-id":540406,"id":"Q540406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bff16bef6386b35a10c0211c91990bbdd1fbb39","datavalue":{"value":{"amount":"+0.8167118430137634","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":"Q647410$DC2600A2-70EE-452D-93F4-94683EDAEAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a8a6a3857bbbe70047aa665f7326c9aa6eaa17","datavalue":{"value":{"entity-type":"item","numeric-id":4899969,"id":"Q4899969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377a9611c41b3a42250d72b95bbe482ba852cfc7","datavalue":{"value":{"amount":"+0.7927777767181396","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":"Q647410$BF39F54D-5002-4072-B46B-DC8FC118D03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73321d23481ef02742cd6e5b16a9ca0b953eb270","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c26159bbca0274c5812311bc332ba8cc22bdbd","datavalue":{"value":{"amount":"+0.7920346856117249","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":"Q647410$9E784B11-1E6B-4F54-A516-89130F5EB632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"439677f00f781921d290930e2d4c0caeba6ce743","datavalue":{"value":{"entity-type":"item","numeric-id":1825863,"id":"Q1825863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"214d3b034526088249c305e94908d1950bfd0a3c","datavalue":{"value":{"amount":"+0.7804594039916992","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":"Q647410$2E0FD816-EB1F-4AB0-9377-EBDD5359B830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:647410","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:647410"}}}}}