{"entities":{"Q2276946":{"pageid":2287689,"ns":120,"title":"Item:Q2276946","lastrevid":49478098,"modified":"2026-01-07T05:39:55Z","type":"item","id":"Q2276946","labels":{"en":{"language":"en","value":"Expressive power and semantic completeness: Boolean connectives in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193648"}},"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":"Q2276946$E4848FA7-4D67-47A3-8267-0B2E177E2980","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e843e3dd9a190d85454bc1b2fd02ca78ed74ab7a","datavalue":{"value":{"text":"Expressive power and semantic completeness: Boolean connectives in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2276946$3F217632-F0E5-4B37-A461-CE31D72D66BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d26ff062fada416a7c29785655bb463a49808d92","datavalue":{"value":"0724.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276946$DA148031-1A4B-49E0-8D06-D1C8F696C36D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3170960f9f5f5b214f7458c0ddee0ac8c51cb4a","datavalue":{"value":"10.1007/BF00935599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276946$853A02C0-A027-4AED-BE07-7C9E967D4720","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc259a89ecb75465fbb96327997d8a01dc78b6ca","datavalue":{"value":{"entity-type":"item","numeric-id":1097871,"id":"Q1097871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$A5186120-C01C-4411-854E-58657B779858","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":"Q2276946$4624866A-438B-45DD-88A4-994C54576918","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2276946$629CDC02-AB76-424F-935E-30A7A45C9907","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a84e71e6c6c11dd29919c393168f79f5eeb31ed","datavalue":{"value":"This paper examines the roles playes by (Boolean) negation and disjunction in obtaining completeness results for certain modal logics. The author illustrates with three examples the interaction between Boolean and modal connectives by looking at the role of truth-functional reasoning in the provision of completeness proofs for normal modal logics. First example: functional frames and negation; second example: dense frames and disjunction; third example: a normal bimodal logic without disjunction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276946$1A31AFBD-0AB5-482B-BC2F-A1FA924AE2AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276946$37E0A584-DC46-431C-97AB-601ED48F7B3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e6c4d28bc86da15b46fbd0900ea3d7a31002141","datavalue":{"value":"4193648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276946$99C0FDCC-8B31-497F-A69F-EB825E0CBA57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276946$656F9151-91FC-43D1-9484-EEA73F262460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ea7bb225dfc0f1ba88b53ac8e959b98d283c0d","datavalue":{"value":"semantic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276946$93FFD05B-347B-4D49-883D-C0C3B936A265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7abfe520557d509e89e89c354532f8f96e474191","datavalue":{"value":"interaction between Boolean and modal connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276946$5BE849AA-F4DC-4B29-ADAA-3D1C00463E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0d76c2c1fbbd2c558578e75d63752797adc5d2b","datavalue":{"value":"functional frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276946$91980CEE-1641-4AA7-BDF7-45555041EF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a20fbf0098b95112a780e3c5730e895225680fa","datavalue":{"value":"dense frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276946$0881353D-AEAE-4A41-964D-3D678586030F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5c9f11e0e8c8133647ca3ba0fa19e62d1836a1","datavalue":{"value":"bimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276946$DF24B8CF-05AD-4666-AE46-97EA9BCB82D3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a99cc43754442bd871d0e4e19845916a0a9ba924","datavalue":{"value":{"entity-type":"item","numeric-id":1230772,"id":"Q1230772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$1A8C0904-EEB0-4BB9-BF81-0D9DBCECFC60","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":"Q2276946$64C610AF-EAFD-4E72-BA7E-EFD2031AC8C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$5C68F8C8-1B40-45A9-8FE6-C6358567ECCD","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":"Q2276946$0FDB7535-8961-40A9-9C2B-4125EEAF70C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a498c5a7f716101921e4af76a307c50cb3371d","datavalue":{"value":{"entity-type":"item","numeric-id":5666507,"id":"Q5666507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$69296F9E-81D4-4B44-B532-A1CFDA1D52B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$34A3C2E3-5107-4861-8188-A96ED6162D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e8e030541387c8fd02d424bf9e4c2e895e8dc2","datavalue":{"value":{"entity-type":"item","numeric-id":1115417,"id":"Q1115417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$02748D43-C809-48A5-9BD8-B088DC2B3240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$E8BBAC33-6376-4D45-80F4-E6FA827F36D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca5d0c70f186667dfe3c3f90fcf88fd89f5156e","datavalue":{"value":{"entity-type":"item","numeric-id":2562074,"id":"Q2562074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$5ABF2C5B-D2EF-48E1-942A-0AFC315A5DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0816744c5e39e8607a33405b0a4f0807a4558110","datavalue":{"value":{"entity-type":"item","numeric-id":3853595,"id":"Q3853595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$4AB3BFDE-A97C-4709-9B5C-9E6FF434A7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"563e9b141f97d446eddf048cc0bc733860be687b","datavalue":{"value":{"entity-type":"item","numeric-id":5416164,"id":"Q5416164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$92F2B1C5-403B-455F-9A11-297EE97C5C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636ad5764b05f4af86c53cf69119bbb490e0e290","datavalue":{"value":{"entity-type":"item","numeric-id":5583835,"id":"Q5583835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$5391E915-1E17-460A-A6A8-46827F8B5FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$928B4286-6C2C-4AD5-B022-0B8D814D3F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eaf8c2d8bc83dd856fb80629b20fc860136563e","datavalue":{"value":{"entity-type":"item","numeric-id":3952081,"id":"Q3952081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$0FC5E7D8-2E32-4646-A56F-B51435355D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$EDF89A02-3A54-49BC-A342-FC2BA5DD94AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276946$14E1A8FC-ED7F-4300-8CA3-041E1DEFC2FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f556ceba7f8323c08165da8cdd4f0a442f1ce98c","datavalue":{"value":{"entity-type":"item","numeric-id":4501147,"id":"Q4501147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9243340af04cd2e40fbee89e9b67676bae580b97","datavalue":{"value":{"amount":"+0.7767006158828735","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":"Q2276946$130B7967-C9CD-4F52-BFCB-069D1283E63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984441b4188805af13c8f620c4090db24535e8a1","datavalue":{"value":{"entity-type":"item","numeric-id":5694707,"id":"Q5694707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9243340af04cd2e40fbee89e9b67676bae580b97","datavalue":{"value":{"amount":"+0.7767006158828735","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":"Q2276946$49F83AFE-8308-41A4-B13A-F3A4D858140F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf250ba51353252b0b2ae869bffda4f28f868cd6","datavalue":{"value":{"entity-type":"item","numeric-id":857668,"id":"Q857668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50170c0b5d589283126f68b03a5ac796f6fbf06f","datavalue":{"value":{"amount":"+0.7713455557823181","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":"Q2276946$1E8FE305-39F3-42D3-A1E5-C296B156CD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c7b98d4a2dd2766bf3552344073075ba05b326","datavalue":{"value":{"entity-type":"item","numeric-id":761441,"id":"Q761441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e799d40438fd7148b530e72be0d588d88042f29","datavalue":{"value":{"amount":"+0.7585121393203735","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":"Q2276946$15938889-3BB0-4A0C-9E53-E5E7E4AA6B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044a7d909c2b8e54b91aefb1d0c147b729533fc0","datavalue":{"value":{"entity-type":"item","numeric-id":5126195,"id":"Q5126195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c873464551bb902c10da6a1831cf693e21b361","datavalue":{"value":{"amount":"+0.7556105852127075","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":"Q2276946$643BC5AD-CE93-4FD7-9137-4404A0DCD2A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2276946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2276946"}}}}}