{"entities":{"Q2734941":{"pageid":2745680,"ns":120,"title":"Item:Q2734941","lastrevid":41948445,"modified":"2025-05-19T10:58:39Z","type":"item","id":"Q2734941","labels":{"en":{"language":"en","value":"Dynamic logic for reasoning about actions and agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1639971"}},"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":"Q2734941$733C3C3C-AD20-4DF5-8970-5E4A2097DDD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42e3b5f085972a9ba6bb05d087a15ef0286e4e5d","datavalue":{"value":"0988.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2734941$B6D78A6D-9132-4177-8E8A-FD94C0681539","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c49da5ceb3346ef7151386d4abe919b4fba4873","datavalue":{"value":{"time":"+2002-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2734941$48D12337-97D1-4B7C-8614-DC66D8F94BC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2734941$DFF3C9BD-FBA5-4AF6-9738-17E4C1F6AECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2734941$562B2E59-DECE-409E-8888-D772658644AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2734941$F01D18F8-C585-4704-B26B-4C97CF11C739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2734941$4216E5D3-2704-41BF-B3B5-2CBC846345E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2734941$79AF3AD5-ED50-4956-818E-B100DF5ABA4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1344fc3426e204f5b51fe3e3afedb2789b9904ef","datavalue":{"value":"1639971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2734941$76EF6E80-E076-4E63-842C-BF1F1642DB03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2734941$4853F6EB-384E-4AE2-B6FA-CF6DB8D9A979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccfb3d8e11672392331bf6609458dce259bba836","datavalue":{"value":"dynamic deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2734941$574B3C35-F170-401A-BAE9-519A2F12D3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acf450e6a11f19e858595eccf93fef9aa39b5798","datavalue":{"value":"dynamic update logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2734941$AE2B876D-5280-47F6-9BD5-216DBCD0DE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad18f8862c5004c6cc4fb002c2d1efa114e9236","datavalue":{"value":"logic of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2734941$4273E721-4742-4EB9-97CC-768FDE76E5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa53b30c2fddc508a6703711ff27a63796904cba","datavalue":{"value":"single agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2734941$22DDA67E-36E4-445E-B6DB-D7447A4D69FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2734941$990E028B-B1A8-4C68-B671-CFD01A193095","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c4fe77fff21ad74d81092c085b4a78f8093906b","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2734941$E47F9AAF-A613-4CA3-8762-5AB4CA268835","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":"Q2734941$C436E482-4BC7-44DB-B78F-BD3030B091EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7c3cf4207c24c1d268a34bc39509dd707073b5","datavalue":{"value":{"entity-type":"item","numeric-id":1923832,"id":"Q1923832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a45b3e006e1836b35cd39b84ec4d7b409e6d0b","datavalue":{"value":{"amount":"+0.94040513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2734941$13610A9A-AB03-4711-9627-011FB7701D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48dfefb17fc249f2f69bd27e4ee30c77665cae8b","datavalue":{"value":{"entity-type":"item","numeric-id":2392414,"id":"Q2392414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c995d3253a71d9964fe9114dae1f7d67358d35c2","datavalue":{"value":{"amount":"+0.93156636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2734941$467B595C-DF3F-43CD-A2CE-5AE33396D1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4d96a2a9146f35c8bff29891eaf4c18755d377","datavalue":{"value":{"entity-type":"item","numeric-id":4528038,"id":"Q4528038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7158119c587f69e70defbcee2ad0296eba02b13e","datavalue":{"value":{"amount":"+0.92801857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2734941$B23ADEE7-7A26-459B-AE92-8F932D321F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d9a33f6b387829739085fd4a26359a1de8a594","datavalue":{"value":{"entity-type":"item","numeric-id":2571499,"id":"Q2571499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394befbc7b342515959d5b718a40f4e61cfa4dae","datavalue":{"value":{"amount":"+0.92188656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2734941$47E4C09C-6370-4C5B-815E-83ACBB67EE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335ece95a7e4ee9290f1cb7771595557974fb5ed","datavalue":{"value":{"entity-type":"item","numeric-id":2734940,"id":"Q2734940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19112eeea5dd6d222107d8ba28e6df20e0186edf","datavalue":{"value":{"amount":"+0.92062104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2734941$A8A5BB32-2C71-4D9D-8341-9252D98F62DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72423d1e07b218128ab7ea1b9e9a4c082956c4fa","datavalue":{"value":{"entity-type":"item","numeric-id":852274,"id":"Q852274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748ae8dbb903cbdf9195972fe883a4e63242c1ce","datavalue":{"value":{"amount":"+0.91533613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2734941$8892272F-A9B6-4ED3-A30F-31B6520F9EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f878d2158204ee78178c01ff98659e8568999613","datavalue":{"value":{"entity-type":"item","numeric-id":4708905,"id":"Q4708905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941b25b31bc38482c773bd088e21fdb77f3d9bd3","datavalue":{"value":{"amount":"+0.9092654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2734941$490DB834-C2E8-48CA-A020-A53F9E3E9318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d01ddea124a80572bc07f330faf1b5a679224c6","datavalue":{"value":{"entity-type":"item","numeric-id":5044543,"id":"Q5044543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41dd503aa84309f92c7483ca18e54bebba03306c","datavalue":{"value":{"amount":"+0.90637946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2734941$8509A42E-5253-4377-8028-8F71592D7BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de2cb9e5d3a4d69cebe43d79445a1c4de7b60788","datavalue":{"value":{"entity-type":"item","numeric-id":5465435,"id":"Q5465435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b347fbd89dfc44a34b6ae241d6928c60a602a895","datavalue":{"value":{"amount":"+0.90411896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2734941$C8334ECD-4266-41C2-AF98-4622BAC40D4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67481b93ab9196b6aae686bc505091fd76936723","datavalue":{"value":{"text":"Dynamic logic for reasoning about actions and agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2734941$884B1018-9580-47CC-84F7-E003AF84C5EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d3a792bfd26fed924b140a330b6b5296b7200a1","datavalue":{"value":"The paper discusses how dynamic logic (in terms of Pratt and Harel) can be used as a basis for logics for reasoning about actions and agents, for some of which the author provides an overview. After a brief introduction to PDL, the paper discusses Dynamic Update Logic [\\textit{P. Spruit, R. Wieringa} and \\textit{J.-J. Meyer}, J. Log. Comput. 5, 27-70 (1995; Zbl 0988.68551)], used for reasoning about database updates, Descriptive Dynamic Logic [\\textit{C. Sierra} et al., Future Generations Computer Systems 12, 157-171 (1996)], Dynamic Deontic Logic [\\textit{J.-J. Ch. Meyer}, Notre Dame J. Formal Logic 29, No. 1, 109-136 (1988; Zbl 0695.03009)], commonsense actions reasoning, with a discussion on the frame problem, logics for single intelligent agents and multi-agent systems [\\textit{J.-J. Ch. Meyer} and \\textit{W. van der Hoek}, Epistemic logic for AI and computer science. Cambridge: Cambridge Univ. Press (1995; Zbl 0868.03001)]. In a concluding discussion the author compares the dynamic logic and the temporal logic frameworks for reasoning about actions. The paper contains no formal results.NEWLINENEWLINEFor the entire collection see [Zbl 0960.00037].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2734941$6E889934-A400-405C-A762-CB495820F867","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"57ad727308120c2d3a49a9849dfa008e9ce3bebc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2734941$91D4A558-98DB-4A24-A6AC-E1DCF3C58715","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2734941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2734941"}}}}}