{"entities":{"Q598547":{"pageid":600323,"ns":120,"title":"Item:Q598547","lastrevid":63017673,"modified":"2026-04-11T09:44:15Z","type":"item","id":"Q598547","labels":{"en":{"language":"en","value":"Action negation and alternative reductions for dynamic deontic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083330"}},"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":"Q598547$A5177401-EF31-443C-85BD-102FC414C2D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7cbc4b66f36af1146f42ab64287a230adcb6c09","datavalue":{"value":{"text":"Action negation and alternative reductions for dynamic deontic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598547$E611DF87-14CD-4541-8CF7-7F3ECD397B3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c9d44d545fb31c98647e4ca86673571af1c45ad","datavalue":{"value":"1060.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598547$749935FC-9752-45F7-8EB3-89185072ECED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$400152B6-7C6F-4D1E-B2B8-EDA343302F35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598547$0DAFD5CC-994B-4E84-B82B-1816CDFE599A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e630e737da87d6d164559dc269619f2cb81ba8b","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/19964","type":"string"},"datatype":"url"},"type":"statement","id":"Q598547$B2DB9742-3F4E-44DB-9F23-251DEC720E32","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ca2c1100b986ed8ab3c0e2ba185106cd58a4e0c5","datavalue":{"value":"This paper, which outlines the main ideas of the author's doctoral thesis [Modal action logics for reasoning about reactive systems, Faculteit der Exacte Wetenschappen, Vrije Universiteit Amsterdam (2003)], concerns the construction of deontic logics of actions (as contrasted with propositions), on the basis of dynamic logic. The paper's main contribution is in that basis, on the idea of the negation of an action. After considering and discarding two accounts in the literature (due to Mayer and to Wansing), the author proposes to take the negation of an action (understood as a relation between states) to be (roughly) the complement of that action with respect to the largest action obtainable from elementary ones under operations that correspond to connectives in the dynamic logic itself. The concept of action negation is thus relativized: it depends not only on the action negated and on the set of all states, but also on the choice of elementary actions and on the array of action connectives that are available in the syntax of the dynamic logic. Deontic logics (of actions) are then constructed on top of this dynamic logic. The author opts for constructions that yield the controversial principle of free-choice permission. However, the components are modular: the account of action negation in dynamic logic does not depend on the favoured deontic superstructure, nor determine it.","type":"string"},"datatype":"string"},"type":"statement","id":"Q598547$493A094E-FB25-42AA-B9C2-EE74B1AB48F1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$24772DF3-274F-454F-94D6-8F71BBA3A426","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598547$5C2E6B8E-1B21-42C5-8FFD-6B602AB3E61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598547$CC2509EE-AFA2-458F-9BA0-73802FB54A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598547$DD1C776C-9EC6-4822-9544-1044B569FA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598547$3C3EBD2B-E176-44D4-9B1F-311E79FE0C89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bf084a8ddee16ed0d2febf6eecbde409a003e46","datavalue":{"value":"2083330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598547$0E3F318D-6E41-4333-A3FE-389B1CB95E16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q598547$711A8666-5585-4FD1-9EE5-F31872F5C88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aad32f88f30f3baa3976de5085e2d42c49820035","datavalue":{"value":"action negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q598547$195E1377-3942-4873-A07A-1FFF720C2D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q598547$0DC3BFDE-5EAA-4208-A2A6-1C8DA27E8D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30c83f67d2c1e5000704b0c62b4dc102a154e6f","datavalue":{"value":"action theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q598547$89304FC6-4A61-4032-BA2F-F0674FB378CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca5085baee50f92cf409f1fa43890ee32dd0e767","datavalue":{"value":{"entity-type":"item","numeric-id":652740,"id":"Q652740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$0DA87F20-DEB5-45E7-80FD-758B6E04BDD3","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":"Q598547$A46985E6-5AC4-467D-A2E9-D5E03289A017","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"469544c4c9f7775174992131c0f31fdeb00efd8b","datavalue":{"value":"W2017014477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598547$71B4CDFD-9E0C-4EE3-AC14-4B7139FA2D31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1dc09cfac49f6e8dfd3eb299ae3a7ac46b815c","datavalue":{"value":{"entity-type":"item","numeric-id":1207426,"id":"Q1207426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$DA8C144C-771A-4B19-8D37-1F0CDF99C398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8394779242df5e11b4f2bb1a6e8c0760b8d9f561","datavalue":{"value":{"entity-type":"item","numeric-id":5422030,"id":"Q5422030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$40C48972-5EE7-42E8-A5F3-870851295337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a61074482803cc7bdb8ed277bbe95feceaed73","datavalue":{"value":{"entity-type":"item","numeric-id":5661849,"id":"Q5661849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$879204DD-4789-468E-914B-246AE289D927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ac470d986be80d36d56f301325091e4aa48ead","datavalue":{"value":{"entity-type":"item","numeric-id":5682312,"id":"Q5682312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$C7538F8A-39D6-4600-A1AB-9C0A0738D926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0309a10b1e5fc61089725928387dd441fd7e20","datavalue":{"value":{"entity-type":"item","numeric-id":1243696,"id":"Q1243696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$45950FDA-BA16-4A16-A001-8A2C18992899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3843b88d682f81a12d59c4ecedb8facef0af81","datavalue":{"value":{"entity-type":"item","numeric-id":4938865,"id":"Q4938865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$B422E610-C3C9-4009-BA17-64FC623A13F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64dd1d8f7a739f37d09ac0f9fd5682e6fb7f1c0b","datavalue":{"value":{"entity-type":"item","numeric-id":4295371,"id":"Q4295371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$DC8B5DE6-C40D-4472-8939-317C67484032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc04b441aa9601b246021f0a8e69e8277ce6359","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$D86D3E65-77C7-40CA-B5F4-7E6F93A930C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"762373560241d51ab0e810bced62ea9e737106e3","datavalue":{"value":{"entity-type":"item","numeric-id":4885627,"id":"Q4885627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$CF953245-BE9A-4578-A9F1-DC489517B932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2009a1656849d6bac3d1bb347e9aef0bbf6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4329182,"id":"Q4329182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$086AFD98-C46B-4D25-8DA2-7C7B24784E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b691946e3ab01805ec60ba4dd52d4a287ca83fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4430409,"id":"Q4430409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$774CBF29-9FDA-45DD-85C8-8DF6CEEEA0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9078574a9194b0178130918c4969d4a0b76882","datavalue":{"value":{"entity-type":"item","numeric-id":5623658,"id":"Q5623658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$55DE0312-98E8-4410-B151-103C82D8DE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4392ec079de34fb14ffd9416a9cbbb0b1b7aece9","datavalue":{"value":{"entity-type":"item","numeric-id":5483306,"id":"Q5483306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$0220B85D-57FA-4F95-8630-CA9F542B9317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$46E4385F-B252-48D4-90C9-7E0018AD2A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8757f053e46d52d87cbf60c8d14091584f8e10bd","datavalue":{"value":{"entity-type":"item","numeric-id":4291023,"id":"Q4291023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$13EB56C0-D903-4A43-AF19-5C6721B509CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc532f3cad08adb100f800d485a78e7b7625b737","datavalue":{"value":{"entity-type":"item","numeric-id":1922828,"id":"Q1922828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$8D71CF78-CE35-4182-9AEB-363A3389054C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec35a71825a7df012d0ea488d0948495cfd075e","datavalue":{"value":{"entity-type":"item","numeric-id":5635426,"id":"Q5635426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$78A84FBB-B2A2-4B26-9FCF-50DBF51022C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04ed81499de3edbf6de676c71dbd250ddc6b89f","datavalue":{"value":{"entity-type":"item","numeric-id":3699667,"id":"Q3699667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598547$FBA55C5D-BE1A-46B8-864E-1E58ACA40114","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cb916e55009d6a5e74d2fb2e58aec2919290319","datavalue":{"value":"10.1016/J.JAL.2004.01.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598547$33692A6A-2A9C-453D-B70B-DF5A6D7CFD13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f1b3d2be8b0e95147b6b7b1aad5594fb329cdc4","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ffd9396bf457bfb3c499c5b40c761c5d1ab17e8","datavalue":{"value":{"amount":"+0.8333841562271118","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":"Q598547$EDB57502-496A-4422-9AE5-9F8DE43DFDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89da14475f953f73ee71eef3298aaad3dca8ea0","datavalue":{"value":{"entity-type":"item","numeric-id":4885627,"id":"Q4885627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216f233b4145350bcfb482e9695eed32bc03b1e6","datavalue":{"value":{"amount":"+0.8230748772621155","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":"Q598547$4EECCFCF-FCB9-4DC2-A501-C725500EAE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9866e5f81b77302390285f13e7db3060fb638bd2","datavalue":{"value":{"entity-type":"item","numeric-id":375303,"id":"Q375303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216f233b4145350bcfb482e9695eed32bc03b1e6","datavalue":{"value":{"amount":"+0.8230748772621155","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":"Q598547$647F864E-2DC0-413A-A3BB-4EAC3DBD5F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47caed5690fb09c7ab5a778860b313ab753f682e","datavalue":{"value":{"entity-type":"item","numeric-id":2447177,"id":"Q2447177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab7d0a42d529b9f2907763d9cae3f9ab2372786","datavalue":{"value":{"amount":"+0.814369797706604","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":"Q598547$B6593F7A-50CC-4C52-9F01-FD8BC5DA02A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94aba945f4c930ff30122b52286926b82a08b848","datavalue":{"value":{"entity-type":"item","numeric-id":4952293,"id":"Q4952293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a5f1b5f75473b7b3102f79187fed71f1a5a5ed","datavalue":{"value":{"amount":"+0.8109926581382751","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":"Q598547$623B123F-AE17-413A-9B81-66AFEA703310","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Action negation and alternative reductions for dynamic deontic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Action_negation_and_alternative_reductions_for_dynamic_deontic_logics"}}}}}