{"entities":{"Q1815426":{"pageid":1826168,"ns":120,"title":"Item:Q1815426","lastrevid":69070227,"modified":"2026-04-13T04:24:49Z","type":"item","id":"Q1815426","labels":{"en":{"language":"en","value":"The price of universality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 944257"}},"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":"Q1815426$A6A1D1EF-C5B9-4FAE-BBE3-D0D7B3FD73D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63fb7e8358ef38b16df561a5938e75cef2d5dd80","datavalue":{"value":{"text":"The price of universality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815426$56BE0CC1-47F5-43BF-BB31-8CA6212BCEA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16f2f9e3ce65fe5b7942b81bd1f76be4f31e6b64","datavalue":{"value":"0865.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815426$2D002038-AA16-49BB-BF31-B0D34701F3FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5f5c67ba04f18de6b92a0e90cb5f04518d29d25","datavalue":{"value":{"entity-type":"item","numeric-id":293221,"id":"Q293221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$3BFEDD15-A2AB-4522-80C9-0F5DD36944A7","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":"Q1815426$D7F99219-0FB4-4C83-80CB-CE364E88F539","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3320bcf2674d02af1cc97a966bd2bda166c3629","datavalue":{"value":{"time":"+1997-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815426$A233146B-1D63-4D01-B996-C53B48937321","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3174071fee72bd09ee6615c07aeb19e7da75cc82","datavalue":{"value":"The paper is an involved contribution to the area of complexity of satisfiability problems for propositional modal logics. It explores the effect of adding the global modalities, the `universal' modality (\\(U\\)-modality) and the `reachability' modality (\\(R\\)-modality), on the mentioned complexity.   Firstly, the author shows an example of a uni-modal logic with decidable (in NP, in fact) satisfiability problem where adding the \\(U\\)-modality causes undecidability and the \\(R\\)-modality causes high undecidability. The logic can be even supposed to be finitely axiomatizable and canonical; thus a conjecture by Goranko and Passy is refuted. Then the intuitive conjecture that the \\(R\\)-modality is `at least as hard' as the \\(U\\)-modality is confirmed -- for well-behaved classes of frames; for non-well-behaved classes it is demonstrated that the \\(U\\)-modality can be arbitrarily harder than the \\(R\\)-modality. In the end, it is shown why EXPTIME-hardness appears when the \\(U\\)-modality or the \\(R\\)-modality are added to a multi-modal logic with independent modalities. The special classes where this is not true are fully characterized.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815426$E3F09EC9-D77F-4044-9D45-599539391F67","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"aa98ea30b6abca7b476f74745e2df6c0f45b70be","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$B61D5B52-6AF2-4231-8B5D-0712AFA356F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815426$7C35B31F-8484-412C-A1A4-C67584E84473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815426$7A6DD399-D49E-4B05-991B-C59EF0AEFBB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a14fda24e82ad9f1ca716661201e51df6d7f0b2b","datavalue":{"value":"944257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815426$D169782C-CB26-4D58-BE23-C77D47A65C33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815426$A5D2034F-90AC-4A9E-BECB-F95C384E6C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815426$AE4402C8-852E-4DDF-B4E8-C5DEBB466DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c4a8e37fec5aea07aa61139ada7babfcdbe852","datavalue":{"value":"propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815426$F44B6600-4756-4F6D-8BEF-D359CA8DC6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867edb5f1fbdfc859e4a81b4fd3af4f5726fbfcd","datavalue":{"value":"multi-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815426$2A6B077E-2B64-40CC-A9D5-E670F136D934","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":"Q1815426$16D1F155-0A2E-4EC9-A150-E31E01CB1CC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6ee051fc25afc7019b40c2e8f19f3c122b40b48","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040046086","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815426$85A8752F-2364-4BA1-A5BE-5A50D836A221","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7793be700a019ba0088d2def02d412fa62494be5","datavalue":{"value":"W2018462672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815426$D5F8AB32-5106-4121-B31F-D34FE2A03101","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4f9b219f54da4cc88e481211745b7b70548f30","datavalue":{"value":{"entity-type":"item","numeric-id":4039803,"id":"Q4039803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$555E9686-1648-4EB2-A4E6-DD20A05CE381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad21928bd542446f4dab874e018db82a98381684","datavalue":{"value":{"entity-type":"item","numeric-id":1839245,"id":"Q1839245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$25AF59BB-24D8-42D0-9651-8D08C8C564A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$B4B444B2-796C-434A-AD90-CC68ED470AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20926a16a99262d3951e6b81c87745fd8dff6453","datavalue":{"value":{"entity-type":"item","numeric-id":1314274,"id":"Q1314274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$F4E8EA04-A5D1-4AAA-B727-9B4701CF2C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$385107B4-08C6-46C6-A093-DA4DE1AFDED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1870fed3e50fb56569d7f793685df9c42e57f784","datavalue":{"value":{"entity-type":"item","numeric-id":4218020,"id":"Q4218020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$687AC2EB-1D77-46D1-997C-B0431B37E2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$BB7DEC23-4F72-478B-9B1B-E20D127DC50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$3DF2B87B-F046-4DC3-BE71-F1E620D9BF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$3E1D79E9-B0AF-45DE-8731-B29D7DCE2E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9454776c8e95be8590581925e4520a2ce0d4e418","datavalue":{"value":{"entity-type":"item","numeric-id":1119565,"id":"Q1119565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$5814F4BB-624E-44F2-ABC1-4BCAF8D95DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf1ba170fae28e63e92407b948b3875ee6ea399","datavalue":{"value":{"entity-type":"item","numeric-id":3313253,"id":"Q3313253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$E5999FBD-02FF-4019-A9A1-B07DA07E99A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$2CAFA851-1548-4543-9D9F-B0218F1E3EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$64D0CBC1-E1B3-456D-91BF-5FB1C39E6FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e0c5cc3575d6be27e025fb497f951125e4854","datavalue":{"value":{"entity-type":"item","numeric-id":3984418,"id":"Q3984418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$8E33EEC0-AB20-410A-A66D-30BC9946B3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$EECBAF92-2750-40B0-A183-7B9ECB7EE9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d15acf9b2dc594da15dc289088a8a93d59b4f8","datavalue":{"value":{"entity-type":"item","numeric-id":1223166,"id":"Q1223166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$B5763EE5-445D-4932-91E1-029891FB1764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7cc037171281dee297950d20bc90e1ffedf1938","datavalue":{"value":{"entity-type":"item","numeric-id":3922159,"id":"Q3922159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$4E3813B7-7FC0-4996-8F17-625810A714A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8375e11ce45f9ec75069670248a6039513460faf","datavalue":{"value":{"entity-type":"item","numeric-id":2540183,"id":"Q2540183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$07A11CAD-FC7C-41A9-B355-4A23DC9342B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$184CDA7E-85DD-4A0C-BEE8-A13D89AA52E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815426$C5FED5FD-077E-481F-977F-E3C82FDCBE7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b0ec33f74ed28518afcbee16c655a1f99f71d18","datavalue":{"value":"10.1305/NDJFL/1040046086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815426$F096C8B5-A87B-4CA7-9F20-ECC603C67B55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41815b184538d7c0c6d12b845b8c0e3587da8df3","datavalue":{"value":{"entity-type":"item","numeric-id":3088054,"id":"Q3088054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3302bb5696952a0729e3f14e978c0102c288754","datavalue":{"value":{"amount":"+0.8078300356864929","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":"Q1815426$1BE5D214-A91B-4B4A-9D47-4BE74C7EFB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17949ec276561cb7757b2cae2a97948378b3d636","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31287c2a4f43a295f7b6079168d47c7e0c14edca","datavalue":{"value":{"amount":"+0.7684525847434998","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":"Q1815426$5AF7B31E-5BE6-4FF9-A367-FB4DC78B63FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f0d7c25a9d8fa5be3fad18bc0c5fd8bc204f03","datavalue":{"value":{"entity-type":"item","numeric-id":4910732,"id":"Q4910732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935c35109f639a98ef87996dd7c30f4dc0af0646","datavalue":{"value":{"amount":"+0.7664580941200256","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":"Q1815426$6EFF2DCB-C027-416C-B55C-78D79ECD4BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17d564b248d3b45202844f51fe93a48eefa186c","datavalue":{"value":{"entity-type":"item","numeric-id":2867946,"id":"Q2867946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e713231f49dc602b52ec2830483400c8332c8c28","datavalue":{"value":{"amount":"+0.7656430602073669","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":"Q1815426$027B4F9B-3D7E-4449-9510-7CBB852B816C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599ca9a202bd5b14773bfd0d0892eddec262c664","datavalue":{"value":{"entity-type":"item","numeric-id":4501537,"id":"Q4501537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897d29350e13ef68c046457adb746f9e8733de2b","datavalue":{"value":{"amount":"+0.7609549760818481","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":"Q1815426$2CC8BA9C-91F8-4173-8BD7-BC857672B6B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The price of universality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_price_of_universality"}}}}}