{"entities":{"Q817962":{"pageid":819810,"ns":120,"title":"Item:Q817962","lastrevid":49805872,"modified":"2026-01-10T22:17:20Z","type":"item","id":"Q817962","labels":{"en":{"language":"en","value":"Finite and physical modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5014657"}},"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":"Q817962$F8743375-1953-4B1E-A13A-061C14AA74CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cafcb67d00c02ff0d6bc9433aced41bac823481d","datavalue":{"value":{"text":"Finite and physical modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817962$7CFA4290-A7B7-42F1-AEF7-A6EBDC98207E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e03e73fff15b14f447365a4755a82e848d5dc36d","datavalue":{"value":"1091.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817962$133B336B-C0DC-4D2F-A75B-546F72546C75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8041594de137218927fe8dc0ba26748992a94714","datavalue":{"value":{"entity-type":"item","numeric-id":817961,"id":"Q817961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817962$53AADBB8-1AAC-45B6-AB9A-F9EC64D54E34","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":"Q817962$C7153ECF-AA43-4038-8692-C25381D12FFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"786c24ead4bfc4d4b1ef44b338d65b3c3963c6f8","datavalue":{"value":{"time":"+2006-03-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":"Q817962$853CE2B4-43F4-4DF2-9B67-A02E0FC4071B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a919733eb817e7030b0ad5aff27a25af9d328cd","datavalue":{"value":"The logic \\(K _{f}\\) of the modalities of finite, meant to capture the notion of `there exist a finite number of accessible worlds such that \\dots is true', was introduced and axiomatized by Fattorosi. In this paper the logical framework of \\(K _{f}\\) is enriched by giving consistency properties and a tableau system (which yields decidability) explicitly designed for \\(K _{f}\\), and a shorter and more natural axiomatization is introduced. Moreover, the relationship between \\(K _{f}\\) and the much older logic of the physical modalities of Burks is discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q817962$418B2522-9F69-425A-9E71-BBAABDB765A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c82436212510eb3fd57a05c9debac7e41dff5f00","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817962$28CA3303-D83C-4F29-B514-D61B041B35C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817962$E034B650-8639-471F-8E83-0EA781D54D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817962$CBF155A1-B2DB-401E-9D4D-A4000FD3BD69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f523c6886c45362e37697cd42b0ce2e79d593218","datavalue":{"value":"5014657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817962$C4E3BEEE-BB3E-4F28-9416-0BCA6D313A10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817962$56E3BD3D-FAD3-4397-A787-B8C2C019271A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e445c8d831a9512360b65405ec53cf50a207a551","datavalue":{"value":"finite modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q817962$A464D8C7-095E-4260-BD86-F2C0C279EFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9b664bba5ccde0cac96d73bf757711d4ada9b83","datavalue":{"value":"physical modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q817962$41C25010-ED4C-47A5-9FB6-7123D8634E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61646aae39c181a804d97b67e1585d6cb82b95f9","datavalue":{"value":"tableau system","type":"string"},"datatype":"string"},"type":"statement","id":"Q817962$61AB39F9-B543-4625-AB9E-6F4ABD65FA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q817962$881D5B69-D44E-4B4F-8E84-7825D0D55E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q817962$E9FDBE62-C7BA-431F-8A0C-4DB7D3D36925","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":"Q817962$8CF95DC4-7407-49DC-A849-D045BC76D672","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe93d86012491e53efd9d60b6ad1625c69580bb6","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1134397661","type":"string"},"datatype":"url"},"type":"statement","id":"Q817962$E6EDBDEC-08A9-4C64-9EA7-95BEE9B5BFE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8aeb7c11f25bbebd4a98219ad210b3956f14c4c8","datavalue":{"value":"W2082342740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817962$9CBC2DEC-80A0-4363-AAE5-E9700463DA5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b73b15e5384ba121e31d1cbcf1689b35222488","datavalue":{"value":{"entity-type":"item","numeric-id":5807667,"id":"Q5807667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817962$8BEB18BE-FB28-4523-819E-824703CFDE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ecdd8a7de09c11cf5e963c4ae5f352135806923","datavalue":{"value":{"entity-type":"item","numeric-id":3853587,"id":"Q3853587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817962$483CFDA1-3761-4CF7-A0B2-4F056E0D3B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d829f6a3b6a10a1b3f284d9c4eb3db3dcc1d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4539492,"id":"Q4539492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817962$9CDE3069-796C-43FC-865F-4D8C768DCAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817962$3C8A17C5-D49D-4DCE-9E08-C5A58808C35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0806b6ac06cdad06ce3d1615d0a88f5d09eb9a9","datavalue":{"value":{"entity-type":"item","numeric-id":4704653,"id":"Q4704653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817962$9922C92C-D3F3-4808-B01A-7D0925931761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817962$4E13477F-DE75-4BD2-849A-3426F9F82FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a17d42e7a2f4c5d6b2e07f46cdc04ae34b22348","datavalue":{"value":{"entity-type":"item","numeric-id":5596743,"id":"Q5596743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817962$68C1FF0E-905A-4C41-B38D-4AC3EAAA5780","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3eb01037f8729a896acf72e656d7ee8174748bd","datavalue":{"value":"10.1305/NDJFL/1134397661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817962$98B3BECE-1F87-4C3F-9F78-11FAD9397D70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3ac80b27fcffc5f91ffcf45190e532049b9293","datavalue":{"value":{"entity-type":"item","numeric-id":4704653,"id":"Q4704653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9604547f5c016b0169f645f2918102d72ee892f8","datavalue":{"value":{"amount":"+0.8156566619873047","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":"Q817962$D15C761F-2871-467D-865E-64B2B219655D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54dce04eab39152a1389e2460c31bb10a6b35b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4215613,"id":"Q4215613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9604547f5c016b0169f645f2918102d72ee892f8","datavalue":{"value":{"amount":"+0.8156566619873047","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":"Q817962$EDEC9DFA-BBFD-40AF-83E0-303E97D3E36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dce7c84e782719acf493847535fb127d67b1a5b","datavalue":{"value":{"entity-type":"item","numeric-id":761445,"id":"Q761445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd91021259e627bcd661e77861dbd450dac61b5","datavalue":{"value":{"amount":"+0.7699275016784668","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":"Q817962$A6062C2B-AA02-40D8-941D-430CFCBB02FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874ad9be1eb8f1fc608f0d99d7e57e89c13a64c5","datavalue":{"value":{"entity-type":"item","numeric-id":5483007,"id":"Q5483007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7ca21cddd274877eb77f6ba1e05c8457af2a0a","datavalue":{"value":{"amount":"+0.762596845626831","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":"Q817962$5636CD53-0EB3-4247-A8D4-6D036435249A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e1be4ce8c966efd6d5252748d8af90e82f47d5","datavalue":{"value":{"entity-type":"item","numeric-id":4345015,"id":"Q4345015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87be673932558a206d786b21beda6b0bb09eb039","datavalue":{"value":{"amount":"+0.7623721361160278","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":"Q817962$AD6101B0-9012-47B1-BA17-893AC1484081","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:817962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:817962"}}}}}