{"entities":{"Q598542":{"pageid":600318,"ns":120,"title":"Item:Q598542","lastrevid":63017628,"modified":"2026-04-11T09:44:14Z","type":"item","id":"Q598542","labels":{"en":{"language":"en","value":"Problems and results for logics about imperatives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083326"}},"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":"Q598542$00EC4175-B2A5-4F13-A387-ED963E0AAF1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"379e99b765a4c5c117feaba1171ccb8c97a4bd77","datavalue":{"value":{"text":"Problems and results for logics about imperatives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598542$16A983C0-79CB-4E0F-83BC-63014D25FD9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57cf157d9fccc0a940cbe419388d4bd1a1463a94","datavalue":{"value":"1056.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598542$28D55373-6C31-400F-A98B-A2329BA8EE94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4ff727d5f1e4123bf7a9e162bcb9b5f52238215","datavalue":{"value":{"entity-type":"item","numeric-id":484190,"id":"Q484190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598542$2CA8DE0D-E15D-46CC-94EA-68853F307899","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":"Q598542$91B99C51-DACC-4007-8EDD-5CC8ABBA1EEE","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":"Q598542$7D9DCF84-8DEA-45A9-ABE9-76F7AD986393","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc3f738af8e00797ec293a1fcd4b1c5ffb4bb2a6","datavalue":{"value":"Alongside the dominant `possible worlds' tradition for the semantic analysis of deontic logic, there are also some alternative ones. One of these is an `imperative' account going back to the early 1960s. On this approach, the truth-value of a deontic assertion \\(Oa\\), modulo a fixed set \\(S\\) of propositions representing a normative code, is determined by the presence or absence of a suitable deductive relation between \\(S\\) and \\(a\\).  In an earlier paper [``Sets, sentences, and some logics about imperatives'', Fundam. Inform. 48, 205--226 (2001; Zbl 0995.03018)] the author showed how several well-known axiomatic systems of deontic logic, both monadic and dyadic, can be reconstructed in this manner. In the present paper, he gives a systematic review of constructions in the literature, for monadic deontic logic only, that use imperative semantics. These make variant choices of the `suitable deductive relation'. For each of them he proves soundness and completeness with respect to a corresponding axiom system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q598542$E96ECB1F-1954-4268-BB90-5E38325901DA","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":"Q598542$3CEFADFC-B3A8-4F0A-A125-33C134E1ED5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598542$0419F950-642A-4B84-A24E-62973B3A4806","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98cee74521a940fe9cc741d626516a230d1ea99c","datavalue":{"value":"2083326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598542$ADDEEC0C-9971-4E39-8F65-8D3B1DDF1881","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q598542$7B762D5B-557F-44DC-8F7B-66F7745CE331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccb2be70cb4a42b10744182d546ae0bd6dfbda75","datavalue":{"value":"logic of imperatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q598542$2B888C57-ABEE-48DF-95BB-024A2A1496A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2152a7d9ac81a03f56e4a09a73d307ccaa20a6c9","datavalue":{"value":"monadic obligation","type":"string"},"datatype":"string"},"type":"statement","id":"Q598542$B1F1D212-6DB3-4239-8A31-E4CA6C70140E","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":"Q598542$9D9C2672-A5DA-4308-90C2-A1211F1E026C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4861cfc26947c1a93a79b215ad33533fe0c43453","datavalue":{"value":"https://doi.org/10.1016/j.jal.2004.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q598542$793C6F63-BCFC-460C-8139-07E2791B3BEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ff56afaee936a2e339f43fa19c46e7461f5ab3c","datavalue":{"value":"W1965765837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598542$F21B00FA-1D53-4F18-A3E2-1FDF0A26DDD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"755fe781412c5c2c83ff53527d7ee318357f1f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5607961,"id":"Q5607961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598542$455E5ADA-49FD-43B6-96C3-D19E3EDB687D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e5f377069613e2e93a409819945e95a79ac07d","datavalue":{"value":{"entity-type":"item","numeric-id":4329236,"id":"Q4329236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598542$C85AA706-05B7-4620-BE44-7CB28B1E4D71","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":"Q598542$DA8FC129-16C9-4385-852F-064E4D5895E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a684a05755a531d48785c7cca2d9f8b718e4ef","datavalue":{"value":{"entity-type":"item","numeric-id":4329186,"id":"Q4329186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598542$6D01C1FE-3C42-478F-9E14-82298A2FAD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c186ee6674078e2a1f54d35503aeb7e301e6c9d9","datavalue":{"value":{"entity-type":"item","numeric-id":5275722,"id":"Q5275722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598542$03A1F3C8-4B8C-4002-93FB-262C3CC9915B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6414810fc9a36c60bc5ea08489420f13a16cf3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5616126,"id":"Q5616126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598542$4480279E-DDC3-4518-AE3E-A2E37E953447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9feeaef9431b6b40868eb7c61eb52439d5fb3098","datavalue":{"value":{"entity-type":"item","numeric-id":1316409,"id":"Q1316409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598542$6D811CCA-A026-4524-AA6F-AA1386EEB8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4bed60d24840053524bf2b6114175d148aafbd1","datavalue":{"value":{"entity-type":"item","numeric-id":4394892,"id":"Q4394892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598542$26A66439-2DC0-4DF2-917F-64C17629315A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0fab0822f13ece5aa5ab945802202a8920157c","datavalue":{"value":{"entity-type":"item","numeric-id":1182172,"id":"Q1182172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598542$25014D15-1BD3-4155-B71A-CB4F84DADF09","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":"Q598542$6A1D0C41-86E6-4F6A-8258-94FF408DF653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22001403e9a3271b3d97ee75448b6ea0d87043d0","datavalue":{"value":{"entity-type":"item","numeric-id":3228599,"id":"Q3228599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598542$2A73B0C8-378A-48C5-830F-BFE2ADB3C675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd470cf0b254445df3f450b7a14f0c864e4f8b4f","datavalue":{"value":{"entity-type":"item","numeric-id":5733512,"id":"Q5733512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598542$19AB20C3-A84C-43DF-9831-A72687947F51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4da50016cbac94c5541892c17cb8b0b3d95b16d","datavalue":{"value":"10.1016/J.JAL.2004.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598542$A933DD38-053A-4423-803B-5A6B24D626AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5d6a940a399e9bc3f9c963aae6afbcb78237a7","datavalue":{"value":{"entity-type":"item","numeric-id":4329186,"id":"Q4329186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58ff8d0b475f4e12d65179c57b741c47938cb8c2","datavalue":{"value":{"amount":"+0.8706589937210083","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":"Q598542$4F4EBED7-CCEA-4F65-ABF7-9B6A0DE41915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060a070c3d7da8f701931eb92b4bf4ce34058a70","datavalue":{"value":{"entity-type":"item","numeric-id":5271377,"id":"Q5271377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7db4a4916312ef3c56a83dc2404f41acaf619c2","datavalue":{"value":{"amount":"+0.8137630820274353","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":"Q598542$AB1D6CF4-DD07-425D-866E-F8F205CDD514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c121e0d2a6e04d2b44e9dc0833c931d1be78954","datavalue":{"value":{"entity-type":"item","numeric-id":484146,"id":"Q484146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1cc90f7d556128ffab6d2f2c9d993af9b87e18b","datavalue":{"value":{"amount":"+0.8025758266448975","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":"Q598542$2A1C21A1-375D-4116-AC55-51261FF96798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c79f7acea358fe4e40c906a73485e27945ecb5","datavalue":{"value":{"entity-type":"item","numeric-id":5901585,"id":"Q5901585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45021050fc56ad052ad9bd3f8f5a137877a277a","datavalue":{"value":{"amount":"+0.7994886636734009","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":"Q598542$9CA49B66-69EE-49C2-AF80-8DD9EF3CCF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec45d201218f17255d8fe7f78bc015bb212f85e","datavalue":{"value":{"entity-type":"item","numeric-id":2568342,"id":"Q2568342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a28eb2ce5e85d283cfe5621146bf6eb18b90d0","datavalue":{"value":{"amount":"+0.7986006140708923","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":"Q598542$E952A444-9B2C-4CCF-9A03-658B2262D43B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Problems and results for logics about imperatives","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Problems_and_results_for_logics_about_imperatives"}}}}}