{"entities":{"Q2425352":{"pageid":2436095,"ns":120,"title":"Item:Q2425352","lastrevid":50346113,"modified":"2026-01-13T20:59:44Z","type":"item","id":"Q2425352","labels":{"en":{"language":"en","value":"The modal logic of cluster-decomposable Kripke interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5268944"}},"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":"Q2425352$72BC179C-BC14-4153-8109-B0DF044FF2C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73cef1b1184b51493227395dfed1f7374a6966db","datavalue":{"value":{"text":"The modal logic of cluster-decomposable Kripke interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2425352$D31D38A5-66D0-40C0-9976-A9E01066E901","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea01a1cb4b4e1af94d4c31bf0fa92156f33bef63","datavalue":{"value":"1145.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425352$09E7E253-3A03-4F4C-AA00-3293900D7874","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32adfa54afa6514262dc1c8c78f6dcb5f5dd38ef","datavalue":{"value":{"entity-type":"item","numeric-id":1822936,"id":"Q1822936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425352$E7BA6DEA-D778-411D-8C7F-D4BEC8657E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425352$30E904D0-7AE7-448E-AF91-158DE44FFFE9","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":"Q2425352$3FF23B96-BC75-46FD-83C4-A2B84BADBD89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"556750df24c21153fcb785f7068c27ffbf372e44","datavalue":{"value":{"time":"+2008-04-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":"Q2425352$15C1D824-AAED-4559-B24F-CA3309B1DCB6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0820fca2fcfb28158a221abbd2bca9f781adb167","datavalue":{"value":"The authors introduce the class of so-called cluster-decomposable Kripke models. They study the corresponding modal logic, C, which is related to systems describing knowledge. Two alternative axiomatizations of C are given in the paper. Moreover, independence of the proposed axioms is proved, modalities in C are classified, and the connection between C and S4.2 is examined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425352$9AC497CF-83E7-448B-8331-DD396926101A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8746a658e51bb356ff2ae7f1a374c72606388a51","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425352$4F446065-9162-4C31-BF6B-7A048D4D141C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425352$89019DD8-1736-461C-A65F-3463C4B82DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425352$DF7839E4-D78A-4BED-926A-E996BC8E606F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"376f20db0f9a634754ac455add0192861476aeb2","datavalue":{"value":"5268944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425352$124D0337-CB34-441E-8EBE-3B9D8CF1AD5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425352$39FA13C8-0746-4690-940D-6CA7F02C5BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8999f61cdae1c3cd5c07d83fcc05fba38ec979f","datavalue":{"value":"cluster-decomposable Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425352$80AC016D-184C-4260-BBA5-B41426206927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425352$7B5BA8ED-AC23-42C8-8C68-2B3846093783","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":"Q2425352$932FB032-8A23-4AE7-9491-25AC17CFB043","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9933798ecea64f90c46e9198cff6e0d3c1a4eeb8","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1193667708","type":"string"},"datatype":"url"},"type":"statement","id":"Q2425352$883391EE-B5AD-42B5-AA56-4C7169C35665","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa68620d8b28fe029ff7c567fd25e50a20e80897","datavalue":{"value":"W2034646159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425352$24784FF4-406A-45DF-8EBA-82A7CF6066E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d25f375b7bab17f1af02c4a7f9d64728d172b63b","datavalue":{"value":"10.1305/NDJFL/1193667708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425352$EF1AE614-A23B-464C-AAF9-64472BEC9852","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44eef3180b18587541791189ce7588524f6f087f","datavalue":{"value":{"entity-type":"item","numeric-id":1028644,"id":"Q1028644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18dcd333c5e10283825ff026d479284a6ff67874","datavalue":{"value":{"amount":"+0.783672571182251","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":"Q2425352$A9108AC1-9DD3-4148-B761-F1E40E0649A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2c0f2abe9e540ba588086fc9f58ba9b0b4f553","datavalue":{"value":{"entity-type":"item","numeric-id":4304804,"id":"Q4304804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd2993ecdefe404e9d52a9c106991e0dd74f007","datavalue":{"value":{"amount":"+0.7724165320396423","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":"Q2425352$EEBA5B1A-399F-43C4-810E-965F515E4057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2758dff8deafb3580676b0f02b94ab40c473e543","datavalue":{"value":{"entity-type":"item","numeric-id":1183584,"id":"Q1183584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf840b7bdb9498979529b67f4534bcacf9b9b60","datavalue":{"value":{"amount":"+0.7714142799377441","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":"Q2425352$9ACF1538-FBA2-4AAD-8D32-890882317301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0207135452015841b065a4df3971df550695e51e","datavalue":{"value":{"entity-type":"item","numeric-id":5096273,"id":"Q5096273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d19f68c0fdc56cdce661e6d8feb8e38716988c","datavalue":{"value":{"amount":"+0.7697383165359497","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":"Q2425352$C00FC5EF-13C1-41A9-8A29-04178138C449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52973565d0cbcd4dae233c0856e8def424ee06b6","datavalue":{"value":{"entity-type":"item","numeric-id":2277447,"id":"Q2277447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be6981254a1b24646f6e539922b7d2fd0705aab","datavalue":{"value":{"amount":"+0.7653161287307739","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":"Q2425352$2E24FC28-6154-4325-96EF-FDC101080EA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2425352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2425352"}}}}}