{"entities":{"Q792312":{"pageid":794160,"ns":120,"title":"Item:Q792312","lastrevid":64373958,"modified":"2026-04-11T19:25:42Z","type":"item","id":"Q792312","labels":{"en":{"language":"en","value":"A deontic logic of action"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3853045"}},"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":"Q792312$C6FDE165-D3AE-4FA1-8762-78E33DDD6049","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a39b35f418944acedb3bdef74696508d380cb69","datavalue":{"value":{"text":"A deontic logic of action","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792312$7DC949BD-BF0C-4F89-A899-6EC783F68A92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"398f6927da954eaa34584fb265eaabf7a11899f9","datavalue":{"value":"0537.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792312$FB809861-D4CF-4639-A3DA-9B21C377F841","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b95181cd8b9eca7b5f43ef088c6859fd22472e56","datavalue":{"value":"10.1007/BF00370348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792312$EE1DAE78-7C8F-4C76-BE83-7301B24A6FD0","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":"Q792312$720BE50C-1594-49D7-9C37-0D40A508140D","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":"Q792312$999E0495-44B9-4E2D-B479-216712F943CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q792312$AEF74A19-2EC6-4327-8D84-25747D0755F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0fadd4067115b70b53d05e4680e0049c5d34567b","datavalue":{"value":"This is a formalisation of a deontic logic based on a formal language whose terms are intended to express ''events'' (i.e., sets of ''outcomes'') and whose formulas should express propositions. The intended interpretation is given by a ''deontic action algebra'' with F (''forbidden events'') and P (''permitted events'') as ideals. The ''basic open deontic logic of urn model action'' (B.O.D.) with special axioms for \\underbar{Forb} and \\underbar{Perm} is described and its completeness proved. B.O.D. is shown to satisfy the ''Closure Principle'' (''what is not forbidden is permitted'') in a weak sense (at the level of outcomes) whereas at the level of events this principle can be satisfied only in ''the basic closed deontic logic of urn model action'', which one gets by adding an axiom to B.O.D. Other operators (P- and F-based obligations and prohibitions) are defined. An ''action-game'' is sketched.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792312$0EC6D0CC-F64F-486F-9AC0-528EAD9AEBB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792312$D39E44B4-CD0C-4CC3-9D7C-7D1840DB8C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792312$4DACC93D-D04A-4A2A-A39F-E54ADCD61778","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa27ff02cbc3a7646ab51aa8f8f077f6494db63c","datavalue":{"value":"3853045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792312$383DD50D-661A-4765-BF61-AF1AC650BF3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e0c5b2c93a3a906fa4ab04cbad7b34e53a73e08","datavalue":{"value":"action games","type":"string"},"datatype":"string"},"type":"statement","id":"Q792312$097C88F4-11AD-4B40-ACA1-642D67F47CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q792312$EF77D050-54DE-406F-AF7B-531E80AE9A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a10294805fe20f690c0ecdc86089bc948300f99","datavalue":{"value":"events","type":"string"},"datatype":"string"},"type":"statement","id":"Q792312$8EDE84BE-29C6-4E64-ADE3-B6891246289A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"859bd30c5ec7ab8ea8f88b4d1772540993b9c59f","datavalue":{"value":"propositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q792312$C1F2EFD4-B44C-4FBF-BF07-B4B45DDE6CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"505236c6ccabdb5c6b05bbf0dd2e1208cfd911cf","datavalue":{"value":"deontic action algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q792312$FCF73DD2-EBDE-47D8-B7D5-6DE90A423F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d16a392b8731013c5467e8105fab192a4ca6268","datavalue":{"value":"urn model action","type":"string"},"datatype":"string"},"type":"statement","id":"Q792312$D2DEC6F0-4663-49BF-BB94-DFC4E9D1F641","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"639db72055e00dbcf7c5c772a4c6714fc15efa01","datavalue":{"value":{"entity-type":"item","numeric-id":587578,"id":"Q587578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792312$00D45F92-FA2F-41C4-9B7D-6E897A259EAA","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":"Q792312$CFF11770-A406-4A7D-9DB7-E7E420D1B169","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792312$E935A167-0AF7-4450-BED4-2B58ED214C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf19304bdc0c37054d7c98795414dba1a896bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1239312,"id":"Q1239312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792312$1496A8A8-B3E5-4C55-B2F0-A6F48198D33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c80fe49e1e15f6eebecaef57c593cf841844e54e","datavalue":{"value":{"entity-type":"item","numeric-id":3942936,"id":"Q3942936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792312$37F21222-E2C5-45C9-9E68-F34AD65C4CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792312$55E275E9-C918-4D38-9E02-6AD5F38E14BC","rank":"normal"}],"P1643":[{"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":"66f00bcb8d34fd80d44a96996956a585653c3870","datavalue":{"value":{"amount":"+0.8311802744865417","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":"Q792312$EE13A121-F3C3-4389-A230-04113C906EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ca4eaad495ba695db82685e491eb6a374820b5","datavalue":{"value":{"entity-type":"item","numeric-id":2859116,"id":"Q2859116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab2eb65d67f9b68bff18635b2a72a8c683ab68e","datavalue":{"value":{"amount":"+0.8225817084312439","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":"Q792312$3BFD6333-C36D-496B-BC1F-D12318BF803E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e0a7a43b3ac43608c34dbed6921707e1c56626","datavalue":{"value":{"entity-type":"item","numeric-id":3450208,"id":"Q3450208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa56a434184720fd49fb56493bb2de7d12f9b76","datavalue":{"value":{"amount":"+0.8222910165786743","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":"Q792312$6A7972FC-2640-43A5-83AB-9E8251716337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5602308b6a7d33ab1f068128d655fe1be7053ac","datavalue":{"value":{"entity-type":"item","numeric-id":3167604,"id":"Q3167604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c87400d25b38165abfd0174237abe03c99f5c84","datavalue":{"value":{"amount":"+0.8212729692459106","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":"Q792312$65CFD554-FE87-4A34-86FE-7D39471CFFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651a4f952d9fadfdcda9f1a1f6b6f8790b6acddd","datavalue":{"value":{"entity-type":"item","numeric-id":4931571,"id":"Q4931571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e2260b3f5c9580bc437517532e8551fc8ca6df","datavalue":{"value":{"amount":"+0.8114022016525269","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":"Q792312$507B5051-CD47-4819-AF0A-E3E8CEAE77A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A deontic logic of action","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_deontic_logic_of_action"}}}}}