{"entities":{"Q2574887":{"pageid":2585630,"ns":120,"title":"Item:Q2574887","lastrevid":48605716,"modified":"2026-01-05T08:58:34Z","type":"item","id":"Q2574887","labels":{"en":{"language":"en","value":"The undecidability of iterated modal relativization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235360"}},"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":"Q2574887$0F1FA11C-6506-4976-B457-8BAA1C1FAB97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bba7323affe9194201b91f75c4c92880e46d580c","datavalue":{"value":{"text":"The undecidability of iterated modal relativization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2574887$9F91ABEC-5030-4CA3-9F36-7AA718152BD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cb8c48201b7885447578ec849e0aa40a824b2c0","datavalue":{"value":"1088.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2574887$C3375DEC-2B87-476B-8EFD-E1A59D9CE8D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"302de52cd79b694f710a98c295d3804f924d6528","datavalue":{"value":{"entity-type":"item","numeric-id":375817,"id":"Q375817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$3F40C002-412D-4987-B2F4-BF33090BEBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$795D63A9-BD6E-42FE-AB3A-24E4FDA2C60D","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":"Q2574887$3942028D-4A04-490F-A72F-8E9485034979","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cf0995e57103f17985607cb6f7b3cba7b12f2be","datavalue":{"value":{"time":"+2005-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2574887$B4DF4F1D-89D4-4C1A-8105-FC38791271EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7ada5005ad00811e49629711d2758c66ed0ef08","datavalue":{"value":"The operation of iterated relativization appears in dynamic epistemic logic. This operation is motivated by the notion of an epistemic program: an algorithm whose steps use and change the epistemic states of agents. The presented paper deals also with the transitive closure operation, due to its connection to common knowledge. It is shown that, for three fragments of the logic of iterated relativization and transitive closure, the satisfiability problems are \\(\\Sigma^1_1\\)-complete. Two of these fragments do not include transitive closure. It is also shown that the question of whether a sentence in these fragments has a finite (tree) model is \\(\\Sigma^0_1\\)-complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2574887$56550B4A-8BA8-4B48-ACE8-B94036A72008","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2574887$0B359DAC-D7DF-46F7-A595-27EC7B45407A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2574887$65122BA5-72CF-452B-985B-E9E9B2353DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2574887$AA2D3AEC-C41C-4AAE-B2AF-00C167872EB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25e5de2bcf3aebf4e99494e0bee9b618b16f6cc2","datavalue":{"value":"2235360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2574887$510D7289-22E5-4586-8F08-99F761A75C57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2574887$0DE38809-4E2C-4CA6-82DB-CEFBE8C99F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e1c02cdc0ad2a14d6120b1e8a59e33374504ef","datavalue":{"value":"iterated relativization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2574887$64E5FB40-3C64-46C5-804A-E6BDF7623F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2574887$BC6E0594-C266-447A-A0D0-257864B2B86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2574887$2F51FFE4-9482-40B8-85BF-86E52E35D87E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$196D3EB4-D73D-414C-A1B2-FBA1693B5E84","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":"Q2574887$BE9A12C7-B9BB-428F-AA2D-B80D1E073672","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad3c88c2af2ba38962d0dce0637a92a2c60fcf50","datavalue":{"value":"https://doi.org/10.1007/s11225-005-3612-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2574887$8EA574D4-0DA4-4B34-B563-34DE58DDECD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9850ab62656b55cba5e718e3441d5207a6ec63b","datavalue":{"value":"W1965188950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2574887$B4F098D7-809A-47E4-B9C2-B9301EC47BC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$11471ED4-67C7-4B37-A133-67B3FDC56428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$DDC3B1D9-1D02-4B56-AE29-103B618C3C16","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":"Q2574887$F0E0397C-16CF-4F6B-8CD5-2A93FD93B9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$723DA7AC-BC7C-4B19-AD92-179EDB6AC0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f78f531da24de8de10f255f9fa8a3d0fbff6c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5466481,"id":"Q5466481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$1C532731-750F-4328-87ED-F9CFB524396A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$27365773-3BD4-415D-B5C7-FAD8B6656DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1746b7f2a2d51c5e1115b39f6dc3c5e33e40ab59","datavalue":{"value":{"entity-type":"item","numeric-id":1357672,"id":"Q1357672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$8B87F13E-9204-4A00-AC6D-99B79A566FEC","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":"Q2574887$7776FDD3-C98B-4145-A056-0691A78C6022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff7089c26366b9512190b7275b7b123049536d3","datavalue":{"value":{"entity-type":"item","numeric-id":798644,"id":"Q798644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$44B13F45-379F-43BF-B4E5-9697F5A9CEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ba7bbdfa2f595c9ac52ade5fd0e2ee26ed9eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4063427,"id":"Q4063427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$2218683A-CCA8-44E4-9E4E-2607483D85AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a049e6f6cf9937dccfc8ceb8b98d752887d25db","datavalue":{"value":{"entity-type":"item","numeric-id":2460188,"id":"Q2460188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$E0E5E13D-B5DC-468C-9BCC-D0F5389F0876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883a612821d93fa4cc4378f7369101a8f40764e1","datavalue":{"value":{"entity-type":"item","numeric-id":5494230,"id":"Q5494230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2574887$B8ADE67D-8E14-4A6F-8904-44CFDF4E2C7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5f3e8b8ceb90525112963d61a0b6a2c2cc1d477","datavalue":{"value":"10.1007/S11225-005-3612-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2574887$3AE29B11-9A00-4B44-9779-D674F86734D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393c2d14d929b3d48c8354c84704c85ee9c9a234","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f644618a43f7992ccbce47313377d7faff78d0a4","datavalue":{"value":{"amount":"+0.7387245297431946","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":"Q2574887$ABADEE99-4E61-49C5-9684-187CB1CCF9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a491f9753887083d8ca5062b61b688dcb35f785","datavalue":{"value":{"entity-type":"item","numeric-id":3086938,"id":"Q3086938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f644618a43f7992ccbce47313377d7faff78d0a4","datavalue":{"value":{"amount":"+0.7387245297431946","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":"Q2574887$AA68FCBB-39A0-44C1-964A-0C037D2B7BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d5192a0fba8e7afccdf0da4e0a6b91d112c383","datavalue":{"value":{"entity-type":"item","numeric-id":5224562,"id":"Q5224562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23cfa5f7c48f8a25b904f7d0ab771385e67a0231","datavalue":{"value":{"amount":"+0.7297081351280212","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":"Q2574887$63FA15F5-1DBD-496E-8E65-B93883159478","rank":"normal"},{"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":"b9b6324b41c6cbca576a314415c30905d9d65b90","datavalue":{"value":{"amount":"+0.7286432385444641","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":"Q2574887$1F63811D-E22D-4CCB-8368-3A7B70912B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be7832648067ba9f6ea233fadce1b854a0c6a33","datavalue":{"value":{"entity-type":"item","numeric-id":1267078,"id":"Q1267078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3759acfd245da2ccbfeab6ecbfa9aaf7064242","datavalue":{"value":{"amount":"+0.7264942526817322","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":"Q2574887$A0A2DA12-B08B-4A8F-B693-256673418964","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2574887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2574887"}}}}}