{"entities":{"Q939059":{"pageid":940907,"ns":120,"title":"Item:Q939059","lastrevid":65552061,"modified":"2026-04-12T03:23:11Z","type":"item","id":"Q939059","labels":{"en":{"language":"en","value":"Alternative axiomatics and complexity of deliberative STIT theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5314498"}},"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":"Q939059$DD87F5FA-47FB-48A4-857D-5049D89E0379","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad99ca150fd8b87e19bc6acfeb34ae27b896d72c","datavalue":{"value":{"text":"Alternative axiomatics and complexity of deliberative STIT theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q939059$013927FB-2007-45F6-ACA7-FE1D647D8159","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"037c7a632381f0ddcd22baf665d288cde3ff0913","datavalue":{"value":"1151.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939059$ADF48DAC-EB17-4836-8B85-AB8DA319EFCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$61802F54-E0DE-40E9-8A9C-546D95D4637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$1349A5C6-35B0-4B5C-BF6E-C8F77356E01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02bd7f35312538179a3295a4fae146a1e6bbdc83","datavalue":{"value":{"entity-type":"item","numeric-id":652735,"id":"Q652735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$A4AD55FC-6E63-45F8-9429-040912D633FE","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":"Q939059$ED23BB53-509D-4513-9B69-D664F88DC065","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba0ef11ca09d43284a43252115c6ec66468ef790","datavalue":{"value":{"time":"+2008-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q939059$6EDF9D8F-8E2A-4073-B47B-E33E00F26B8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0029dbda82e3cd2790529b1caee0277c62653388","datavalue":{"value":"https://arxiv.org/abs/0704.3238","type":"string"},"datatype":"url"},"type":"statement","id":"Q939059$C131B430-69D7-49EF-84DA-DB311E72B063","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b843597fb63c5b5fbcbf6370bb85013037e03a0","datavalue":{"value":"Two alternatives to Xu's axiomatization of Chellas's STIT (See To It That) theory are offered. The first one simplifies its presentation and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas's STIT. Using the second axiomatization it is also shown that the problem of deciding the satisfiability of a STIT formula without temporal operators is NP-complete in the single-agent case and is NEXPTIME-complete in the multi-agent case, both for the deliberative and Chellas's STIT.","type":"string"},"datatype":"string"},"type":"statement","id":"Q939059$0855E346-1F2C-456C-BC9C-234C08082F8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c82436212510eb3fd57a05c9debac7e41dff5f00","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$484B0752-B257-47ED-90B3-965ED776D89C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939059$8C1FFEAC-3E8C-41B9-B146-C373D20327D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939059$EE865825-7EB2-4D4E-A1D7-E613C922488A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fc1e1d640d7aacf50e1f0b19cb6e455210c5180","datavalue":{"value":"5314498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939059$DC1830A3-B3AD-4863-969B-91D4094BC649","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q939059$3F6EE7DE-60D3-4264-B47C-22CF6E013B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q939059$956917A7-493B-4EDE-A1E2-A1D62BA56FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67213096a0e76684f372af72b4d27a9387d45e7","datavalue":{"value":"logic of agency","type":"string"},"datatype":"string"},"type":"statement","id":"Q939059$BACA8A6F-1AC1-4CB9-BBA9-022E9CF1F787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e26f98dbee2038f53bd49b7fa3d5812c19642d0","datavalue":{"value":"STIT operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q939059$70F44770-54FB-45CC-819B-AC4F113431B1","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":"Q939059$57B9B007-C322-46D9-8D6D-4D6D1511FADB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44ef03b2c243027b39105d655bc3480123dd6128","datavalue":{"value":"W3100069195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939059$AA645372-2555-408F-A5EC-BC3D29D417B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$AB62DD59-4C57-431E-9320-48967E12AAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425fe66667d7ab7910866da151f21eea402d10e5","datavalue":{"value":{"entity-type":"item","numeric-id":3003823,"id":"Q3003823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$E6B03B34-B896-4301-BCD1-9EC043691E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b3e7554c5b9ad3a018588230332941dd1bfea0","datavalue":{"value":{"entity-type":"item","numeric-id":1207433,"id":"Q1207433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$3A074506-F713-4BFB-9818-3832E549D6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$46C3AFC3-4520-4F3D-BC21-A501354504A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b05b1c2dea044e244f58590c8afd2c2bc7773b","datavalue":{"value":{"entity-type":"item","numeric-id":1908789,"id":"Q1908789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$F3669729-5845-412C-A052-A0E2D586B63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b075c925610a1136f6897af3c23ae2fda0cd16","datavalue":{"value":{"entity-type":"item","numeric-id":4242586,"id":"Q4242586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$E018CC67-7760-41A5-8080-1B79B3355D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ce20a32f2c8b880b807bc63ba095cd5b2e238e","datavalue":{"value":{"entity-type":"item","numeric-id":2708309,"id":"Q2708309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$FEEA65AC-1436-461E-94C1-DE263E284168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$F327E628-2E7C-460D-ABFB-A003DE797149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb5a0249e38cf3eb0eee255d17e0ed98bead274f","datavalue":{"value":{"entity-type":"item","numeric-id":3509070,"id":"Q3509070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$399244B8-EF1B-4A62-A2F1-B9B1080D3D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2afc869c15681bae0b864172157ea1803ea399","datavalue":{"value":{"entity-type":"item","numeric-id":1863958,"id":"Q1863958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$1797E55C-7904-477F-94F9-322D7A70AC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7cf4932f95d814d7aa9ccb0e76145cb7214501","datavalue":{"value":{"entity-type":"item","numeric-id":1272834,"id":"Q1272834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939059$3BEB6918-5E36-4FC9-BE96-3B512276CCCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6271c1c96496252a93d2b0a6ebf3c98b6a0a46fd","datavalue":{"value":"10.1007/S10992-007-9078-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939059$3C9FBC3F-4513-49E3-B4F5-B4E7B5C7B0FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03af7073b56d53d3e17cfb0fd47bc0c65380fbaf","datavalue":{"value":{"entity-type":"item","numeric-id":1272834,"id":"Q1272834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c791feaaf29840a3167c2905c742a29f2dd0fac","datavalue":{"value":{"amount":"+0.89232785","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":"Q939059$9DC63637-DFAA-4447-9A08-C8E64A6D4B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"057aa2d13de3be3b82b691a985da16cac29e5d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4518432,"id":"Q4518432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d0dd564b74261622c70694869f44bb259c53f92","datavalue":{"value":{"amount":"+0.8773351","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":"Q939059$E543BDF7-4634-4DCE-B3FE-60986D687113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a866c4925048c9aaf8761f61a0bfd7733895d1d2","datavalue":{"value":{"entity-type":"item","numeric-id":3141251,"id":"Q3141251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"244891bc5f63dd201836a16cc95f69fa579350ea","datavalue":{"value":{"amount":"+0.86487716","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":"Q939059$4AEF4F6C-7B6D-47F4-90B2-5233E29A21CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c51da6fe135b4276119e1c108289d11b2f15a3","datavalue":{"value":{"entity-type":"item","numeric-id":5560260,"id":"Q5560260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c31fa25af5dd31912bbf8d439ccaca4411456cd","datavalue":{"value":{"amount":"+0.85609835","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":"Q939059$062424BA-70DA-4FAD-A345-10BC79445EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f29c559410a6a81d517fa8ecc862e15085620b","datavalue":{"value":{"entity-type":"item","numeric-id":2046875,"id":"Q2046875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e9db8188cd9fba6baa5600e56c1ab5d22123be","datavalue":{"value":{"amount":"+0.85329276","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":"Q939059$A2756422-50AD-4640-8DB3-34585BDD6AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f6f4df675809f35b27664fc1a3de25ecc4ce00","datavalue":{"value":{"entity-type":"item","numeric-id":4501138,"id":"Q4501138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27150693fb72755b928528c5518ae6deaabb6e20","datavalue":{"value":{"amount":"+0.8411354","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":"Q939059$576975EB-14AB-408F-B5BF-1A0D3CC48533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6cb292e5548e86037d304b7a8dbab15fe890c3","datavalue":{"value":{"entity-type":"item","numeric-id":5476847,"id":"Q5476847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b83500065610147829bbeb05fd58d2b81cdcbed","datavalue":{"value":{"amount":"+0.8358608","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":"Q939059$BCEBAFB5-C1E3-4F35-AD75-461217D7BC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc901894aea1cf29f28bcb33b3628a4909bdf41","datavalue":{"value":{"entity-type":"item","numeric-id":3807183,"id":"Q3807183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e500a869d446632e8fd76838efee1a4879c35a4f","datavalue":{"value":{"amount":"+0.8303633","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":"Q939059$45352399-239A-4A21-8CDC-45E533393224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ffd5dfe7924fc399dd41eb5a2cf60cfc67b9783","datavalue":{"value":{"entity-type":"item","numeric-id":4999294,"id":"Q4999294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b9cf4f626d98a70cd375a2f337bc24e8fd0139","datavalue":{"value":{"amount":"+0.82913864","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":"Q939059$7AEA50E5-9407-4123-81D4-BD8B96DF0555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ecc3123e43a031171df94e590860d4ef3a8991","datavalue":{"value":{"entity-type":"item","numeric-id":2904058,"id":"Q2904058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345a6dbdb40a05b6ac3d47850c788c5948858892","datavalue":{"value":{"amount":"+0.8272843","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":"Q939059$3C905361-E5BD-44BC-A4E6-2F23628A0885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternative axiomatics and complexity of deliberative STIT theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alternative_axiomatics_and_complexity_of_deliberative_STIT_theories"}}}}}