{"entities":{"Q1826367":{"pageid":1837109,"ns":120,"title":"Item:Q1826367","lastrevid":43351815,"modified":"2025-07-25T00:55:59Z","type":"item","id":"Q1826367","labels":{"en":{"language":"en","value":"A modal logic for discretely descending chains of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081422"}},"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":"Q1826367$984CF609-8A30-4647-93C3-83922DB7FA3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4aaeaf552458922d68b07a9f9aa166584bc26d4","datavalue":{"value":{"text":"A modal logic for discretely descending chains of sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1826367$2A2B6B7B-4148-447B-B452-C5BA673A5E29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e692b488d60beb243cf55d52a881a7181209172d","datavalue":{"value":"1054.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826367$C1AC5290-B814-41C4-BC8E-B4CAF66F9262","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e96a8166b825564aa7d3e45e288dcc7e8fe930","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826367$F47BC6E5-5D81-4069-8565-4DC4502CC377","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":"Q1826367$C950B2F2-59BB-4516-943F-09F7D28AC818","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1826367$D7B27485-4D69-44C1-910E-93F1186AD4B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d47c5ca958e8510e1d5adafb3d89a9cfcffb2b9d","datavalue":{"value":"In this article, a modal logic for reasoning about knowledge and effort, interpreted over discretely descending chains of sets, is proposed. The logic is a combination of the propositional linear time temporal logic and the modal logic \\textbf{S5}. The main results presented are an axiomatization, completeness, and decidability of the system. The problem of complexity is briefly discussed as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826367$136A5468-51FC-489E-898B-7B8B6D5C9FB3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4764fa0cd49fe833a9ead0ffbcd3b01195518cc5","datavalue":{"value":{"entity-type":"item","numeric-id":585672,"id":"Q585672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826367$BE3B0130-9157-44C1-AB27-DEC586EC5EAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826367$CAFAC043-DBA2-41FA-86B3-534FEEFF9931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826367$E2DC0B58-AC98-4DFF-9212-27F54E494EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826367$D0883866-BD13-4AE6-8D9E-24A947A04FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826367$EB84887B-772F-4A0F-AFCC-5ED813C4E42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826367$BC133FC3-1DF3-44BF-85B9-C2B2274B4005","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86d0ec41504fdd646ac0963ae62a2b112abaaa8a","datavalue":{"value":"2081422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826367$57FC3A3F-29D7-4894-ABF6-C5D2B230E115","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61d46bdb48d6676e591930ddf15a1dcc8c245301","datavalue":{"value":"modal logic of subset spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826367$A4033029-BE52-4CB9-A29B-92FA90767547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0e72b70532265c3bb0f9363609fbb31a02bec82","datavalue":{"value":"logic of knowledge and effort","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826367$75B8AAAC-0B6E-4D80-BDE2-B88034C983E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd15001f062cc9d8c46330c4dbd2eca227550fd","datavalue":{"value":"propositional linear time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826367$816447EB-B7D5-46B3-884F-F8A483784EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"638779b184e63a3b352781a4cec90f8a0cecd0a5","datavalue":{"value":"modal logic \\textbf{S5}","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826367$BD25D56F-7E34-42E2-9CE5-A2CBE5EA085F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826367$76AFC1E9-2001-4E81-91A7-3BE6F87D2A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826367$B0544EC8-D664-48C9-9EB3-57ECCC0DDEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99daaa8bde01dc4595988458e6cba397c196783c","datavalue":{"value":"temporalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826367$62343C4D-82C7-4D16-A0CE-C21C21E5C5A4","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":"Q1826367$FE0139DA-A04E-4962-B2FF-437007897641","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d83a3439a83ed2c67cc5b86ad2252e44e6d9dbbe","datavalue":{"value":"https://doi.org/10.1023/b:stud.0000027467.49608.9d","type":"string"},"datatype":"url"},"type":"statement","id":"Q1826367$C4932467-7F11-4B4C-A8B3-2BF45BB688E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1268f694b643bc6c5b6a90c01fc3093afdbde1b","datavalue":{"value":"W1995051601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826367$6B679AB3-74E6-4614-AC86-6499EBF91D5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"335de6f8d2dd51e1c184860fd834bde236fe5f6d","datavalue":{"value":"10.1023/B:STUD.0000027467.49608.9D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826367$003BB7BC-C404-4155-BB57-B54689CD5108","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0e5c0ae949e34b88845e4eda6a0288d9a215d6","datavalue":{"value":{"entity-type":"item","numeric-id":1177647,"id":"Q1177647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e838cdca03692216a41df7a195d03ab0988ed6","datavalue":{"value":{"amount":"+0.93195224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826367$63808ECD-7C70-4086-B057-2C40802565AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2461e29ed8dd886e7aa42232cb13dd82d29c30b4","datavalue":{"value":{"entity-type":"item","numeric-id":4424651,"id":"Q4424651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45181b49ee90a5f50a2ceffa4ce542c17a521fe2","datavalue":{"value":{"amount":"+0.9053812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826367$A5FE666B-FA88-41AD-9E70-36C1CB973F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8a6e2855a9ce8b9796913c003b058dee1fb116","datavalue":{"value":{"entity-type":"item","numeric-id":5213655,"id":"Q5213655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06e3e42a236cecd5fee0ef3a35919a15dfb3279","datavalue":{"value":{"amount":"+0.8831232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826367$4CA639AE-0781-4CE5-ACE8-68306ADD0C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d1fde76e54a164698f64f0c248e9391e8843bc","datavalue":{"value":{"entity-type":"item","numeric-id":5937828,"id":"Q5937828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bbb651499d358755b7590b4cc9df8c9e1e19e15","datavalue":{"value":{"amount":"+0.8770735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826367$B55E3F72-F723-494C-8F52-067232F8DD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04791c8371f914c1b3e3a547781cafd38b8757da","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc81dee0e0fddcf0f066cf8af3f2f71ceaa2b3f","datavalue":{"value":{"amount":"+0.87670374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826367$5597F537-6CB7-43E0-BD7F-CE92B3B0DE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f89c0eb7ddc485aef8fe18cc42195773d2cca6d","datavalue":{"value":{"amount":"+0.8751232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826367$5354188F-D1C5-4B2A-90F1-74B586059872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344337c4e6bd5e3f5d3f93b4aa6eb86d835d4e59","datavalue":{"value":{"entity-type":"item","numeric-id":4306544,"id":"Q4306544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918e1720179402e2a113fd711ea2f825ee52f7f3","datavalue":{"value":{"amount":"+0.873327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826367$18E1F609-0E63-48CA-B520-575E5039132D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee3eed45a2487e61bd1e0317ac4463663124c78","datavalue":{"value":{"entity-type":"item","numeric-id":5223106,"id":"Q5223106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a0e7780d9dc7a8fbfbe50451336ee54c8932d7","datavalue":{"value":{"amount":"+0.8717595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826367$BF87046F-3C53-44CB-810B-E13F27340292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2ba2970eca54c36512270ee7f2847bfa1521ff","datavalue":{"value":{"amount":"+0.8703659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826367$6A9BDC6A-E141-4A3C-A79A-EE0E7A06BF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba01afc19ce5da620820aa587ccd8e05afe2d2a2","datavalue":{"value":{"entity-type":"item","numeric-id":1745356,"id":"Q1745356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"177d8f906eacf58c3154f300192ce79069b329f9","datavalue":{"value":{"amount":"+0.8700925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1826367$C3CC68F1-A6DD-4862-BAB4-0A6896627643","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1826367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1826367"}}}}}