{"entities":{"Q910393":{"pageid":912241,"ns":120,"title":"Item:Q910393","lastrevid":65308191,"modified":"2026-04-12T01:41:24Z","type":"item","id":"Q910393","labels":{"en":{"language":"en","value":"Bringing it about"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4139712"}},"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":"Q910393$C32DBE20-AFC0-4A56-A21E-5C27A48BC6F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e543be1ac2efa9fbc349094bd5ebcf7734ed9c00","datavalue":{"value":{"text":"Bringing it about","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q910393$73906353-53F0-4257-BF4A-2E48C56C0657","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"063cca4e1f9bccc55c2a76ba6a9260c9604d82b3","datavalue":{"value":"0696.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910393$F5B75E25-AFD1-4096-8789-FF3191D31E33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de3bf45c9f804af0c34e60064dc510d9b4821305","datavalue":{"value":"10.1007/BF00262940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910393$D57B78A7-28A4-481E-911B-AE1D5D3DB08D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8907116e2bbe8be1296da2cbc227854582eff71f","datavalue":{"value":{"entity-type":"item","numeric-id":190285,"id":"Q190285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910393$9D29C4ED-DD98-4ADF-B2FE-4328B5410FC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910393$59590D06-897F-4F4C-8128-447E2A289B7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q910393$26F47C30-4A2A-4501-8706-C2996ACCD6D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf895a006cef5f081f47f9dd44cee509e94b9ee0","datavalue":{"value":"In this very nice article the author presents a logic of ``bringing it about that A'' or simply ``doing A'' in the sense that the truth of the assertion A is established. The logic is an extension of propositional dynamic logic (PDL) without program letters but with expressions of type \\(\\delta\\) A (``doing A'') as atomic programs. The typical axioms with respect to \\(\\delta\\) A are [\\(\\delta\\) A]A (doing A establishes A) and [\\(\\delta\\) A]B\\(\\supset ([\\delta B]C\\supset [\\delta A]C)\\) (a form of transitivity with respect to establishing). A semantical model is given, the essence of which is the interpretation of \\(\\delta\\) A as the input/output relation of a program that establishes A at/as its output. Finally, an almost self-contained proof is provided of the soundness and completeness of the logic with respect to the model. Although motivated from a philosophical point of view, I believe the logic is also of interest to AI researchers and computer scientists involved in program/system specification.","type":"string"},"datatype":"string"},"type":"statement","id":"Q910393$8BCE2427-A3FA-41C2-9BE3-FED50E8F46F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910393$1E0E1D19-6F74-4F44-BC77-A387DF30CB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910393$8F43B940-CCB7-4DE2-81B6-E7087D347DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910393$2CD1AF97-2EFB-4BD9-8811-A2D6EEE43422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910393$C878D24F-993B-47BE-B177-51F9D0AD8490","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e92007bdd196bda1e243b8343da01bee630fe460","datavalue":{"value":"4139712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910393$352BA2AD-EDC9-45CA-ABAF-C758DD4AFF03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q910393$FDCBA45E-7B7E-4AEB-9B1F-2A92630DBBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cc92540a64df82dcf46c590b32c48c256814302","datavalue":{"value":"action logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q910393$E983DF96-C17D-4A13-B560-C05147C07E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q910393$9F82BBED-4BD9-4C14-B96D-057FAF33EE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875d0ef070f5ac8b57772f4776fb872aab667adc","datavalue":{"value":"extension of propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q910393$FB8F8A19-FCEA-4AF6-B848-F3FC5C61900D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"71c876594569243d8a46dba6a49cb7e4f79f826f","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910393$527B6CF5-C7B1-4F52-8DFA-A49AA9D1895B","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":"Q910393$1E00C0B3-4A6D-48A0-B847-85B71511CB7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16f74a54d867f8422ac1578ea87a7b0f3f6f936e","datavalue":{"value":"https://doi.org/10.1007/bf00262940","type":"string"},"datatype":"url"},"type":"statement","id":"Q910393$49C350EC-4384-4D97-B02F-3E719749B3C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"487611a117309f1562297a6968ca49016244836f","datavalue":{"value":"W1978342051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910393$66EEB660-D288-4D49-B5E7-091FFE778187","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc679c6235d58a63d0fa34c61f829622cdc813a","datavalue":{"value":{"entity-type":"item","numeric-id":1908787,"id":"Q1908787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b600d64845737c685f9a491c553694b3a8ba36","datavalue":{"value":{"amount":"+0.754986047744751","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":"Q910393$8230E8F6-EA63-4A77-BD0C-93700BCF5035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51a71a0b488d27ea956a75a37b39f5ca27378801","datavalue":{"value":{"entity-type":"item","numeric-id":4325785,"id":"Q4325785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b600d64845737c685f9a491c553694b3a8ba36","datavalue":{"value":{"amount":"+0.754986047744751","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":"Q910393$4A5B8E95-0CA5-44A4-BD74-5D0F458FB6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb285dc9733865fb855da07e18cf1f4f6083f223","datavalue":{"value":{"entity-type":"item","numeric-id":1337608,"id":"Q1337608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6790c598ab3e8b36a64747055da4df9d51ff4f","datavalue":{"value":{"amount":"+0.7546142935752869","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":"Q910393$C3868D67-4ED3-4412-B09B-40210D63ADDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0691e01ad153cc50160b83f2423447a30f0d6508","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6792f00bfeff4011d9375fbf0dba5c949451c1c","datavalue":{"value":{"amount":"+0.7544907331466675","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":"Q910393$867DF757-7AD7-4442-9396-8BF8104CA9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46a82b6acfc4f829156a514939f749240575a21","datavalue":{"value":{"entity-type":"item","numeric-id":4982652,"id":"Q4982652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"156c8e38662367c7739567f7fcec38e7ae9a48c1","datavalue":{"value":{"amount":"+0.7370200157165527","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":"Q910393$08A5AE8E-564B-409D-B1B5-B3A37C681372","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bringing it about","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bringing_it_about"}}}}}