{"entities":{"Q543627":{"pageid":545394,"ns":120,"title":"Item:Q543627","lastrevid":62630379,"modified":"2026-04-11T07:23:11Z","type":"item","id":"Q543627","labels":{"en":{"language":"en","value":"A logic for reasoning about counterfactual emotions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5909464"}},"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":"Q543627$A9891799-07CA-44FF-8C7D-44C0C408D984","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdf3a89068debda6e361b6482c01c613a7ad47a1","datavalue":{"value":{"text":"A logic for reasoning about counterfactual emotions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q543627$AC249ABF-5FBE-4702-BDE4-8AF2703E88FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19b65f0bd285d5a9bbe1cf8fb5e7c5177263fbe1","datavalue":{"value":"1223.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543627$41118B30-8E38-4B1E-9EB0-253A48380B45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37039adae9fb9dcd5098e398204f72e6792882b","datavalue":{"value":{"entity-type":"item","numeric-id":302222,"id":"Q302222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$5539C081-3E43-4EAD-B52F-E9690B59D5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa3ef14ff1cf746521ac49865650a6a5916aaf29","datavalue":{"value":{"entity-type":"item","numeric-id":302224,"id":"Q302224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$F2412539-0D72-4D7A-AEAC-B1BAFA7BDF1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$119C6040-369E-46FC-9843-ADA5CDAD28E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q543627$72433BD0-6F67-4087-8E9F-769ACB0777DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0be28e2e1746860c0f3e74746cbf454d9e9e92b3","datavalue":{"value":"The authors extend a certain fragment of the multi-agent {\\text\\textsf STIT} logic due to Belnap and Horty by knowledge operators for each agent. In this way, they are capable of formalizing so-called counterfactual emotions like regret and disappointment. As contrasted with the full {\\text\\textsf STIT} logic, including groups, the fragment considered in the paper turns out to be finitely axiomatizable, and its satisfiability problem to be NP-complete. Both axiomatizability and decidability extend to the logic enriched with the knowledge operators, while the complexity increases in the same way as it is known from the integrated epistemic logic then. Finally, for the purposes of giving a concrete example from the field of intelligent tutoring systems, the logic is further extended by public announcement operators.  The paper contains instructive examples and an impressive list of references.","type":"string"},"datatype":"string"},"type":"statement","id":"Q543627$961E4E1E-9989-41FB-A2B9-78C027FB6E16","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8746a658e51bb356ff2ae7f1a374c72606388a51","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$3FF16D77-1F7D-4F0C-B092-7258B055CD14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543627$21D0FD03-447B-4A31-AA92-A784573FB159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543627$286BF5CA-0BD6-4AC2-AF7A-4E0FE3EFA1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543627$4DA13801-116D-4B58-AC51-3180FCF47869","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06f2c5fc7f01a269e0372d15e44e01eb00d03119","datavalue":{"value":"5909464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543627$B12FCB58-F489-403B-9F49-A04B6CB5D1FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af2ce99c04c63ff5bdbb1e21ddd157b9b934c40","datavalue":{"value":"STIT logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q543627$44F9C2A3-6C88-492D-A992-4DF5E5107BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q543627$DFA6459D-9089-4A42-8DE1-D8F989EF9068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q543627$CA6D8B04-4191-41D4-9FCB-81155985B50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"788aa3fd3e7f8c60b04d3cd6b645d15157829ada","datavalue":{"value":"formalizing emotions","type":"string"},"datatype":"string"},"type":"statement","id":"Q543627$BF80F06E-7484-4FA7-B6A9-6763090E0723","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":"Q543627$549131A6-E2D4-46D3-9519-A9F5AEE2CEB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0683903d88ef96862b99124d1fa09db7beb02fb5","datavalue":{"value":"https://doi.org/10.1016/j.artint.2010.11.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q543627$BF3FD4B3-DA58-404B-9436-0056D77E3DDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fce2c1caffb270a8e8cd1843ada3d84090d72019","datavalue":{"value":"W2025799736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543627$73C711EA-3A2A-443E-A6E5-16E5D523C8BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea4fce9fa6489a9ca10f12e2ec4a4843d7c2fd5","datavalue":{"value":{"entity-type":"item","numeric-id":1036048,"id":"Q1036048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$01001DAC-E9BE-4FD4-884A-5D65DE8FEA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$42CBA37B-106B-4F8A-A488-B45DF5BC3027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e84ca9db98e03fb9bbda9d81bae68c392d269a5","datavalue":{"value":{"entity-type":"item","numeric-id":939059,"id":"Q939059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$7AF9D63D-3BF9-4486-9417-F43B598E040E","rank":"normal"},{"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":"Q543627$7C7848C6-36B2-4949-B355-661228916812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5d1833096ff19864942022169918c470f44d3b","datavalue":{"value":{"entity-type":"item","numeric-id":3431962,"id":"Q3431962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$41C8249F-349F-44B1-97D7-B9E3C260C877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$1DB0F383-5D8A-4BFB-8AAA-8C826975FCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d38b3265466ccb7e33948779adfd5c5234ee50","datavalue":{"value":{"entity-type":"item","numeric-id":5715677,"id":"Q5715677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$2392E7E0-18B2-49BF-94A0-D0A254073799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e33c87246e1b6e5e51298556a1997b3486676eb","datavalue":{"value":{"entity-type":"item","numeric-id":2640592,"id":"Q2640592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$C195BD9E-2615-48B5-B417-59E4EFF9BBCA","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":"Q543627$A14F0D3E-C056-4A34-8BD9-81DD0384761F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34ede55c5bb382f735465de28b94071e613df3e","datavalue":{"value":{"entity-type":"item","numeric-id":5688815,"id":"Q5688815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$3B7EC8B3-84D7-4377-977B-FB7A5EF9E7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$BD45AEA4-0E1B-4DA5-9315-20F3311E4F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dec8ab3ca76ac6156d8e5fcbd45a30c92a670f2","datavalue":{"value":{"entity-type":"item","numeric-id":3086943,"id":"Q3086943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$A5D40B0E-3A0C-4764-9471-DB6632D8A927","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":"Q543627$F74AFAA7-771B-42CB-B025-94124EF92CDF","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":"Q543627$4B2D6F9B-3E3D-4D2B-92D0-91773CE1D884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$839372F5-B386-4FD0-8EF9-6AFB91AE9218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff849b4085c568023975ffcfb748880b2caefd2d","datavalue":{"value":{"entity-type":"item","numeric-id":2460293,"id":"Q2460293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$4D79B4B2-B86C-4BF0-BC9E-1D0F98AE3908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cfaf55b15f2ec3886b0c27faf08fbe38337090b","datavalue":{"value":{"entity-type":"item","numeric-id":3422185,"id":"Q3422185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$A8F9CC32-6297-4F60-B3E1-9868FF45E610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a654f80327e02efb99f2503a4dbf4ca42d7dea","datavalue":{"value":{"entity-type":"item","numeric-id":1978378,"id":"Q1978378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$37FCBE2D-746E-48F8-9C03-D10295AA5F01","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":"Q543627$70E72F8D-C400-46F5-A181-EC84D63C1AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abbe2e64519084334ef1b028962c194fae3932f","datavalue":{"value":{"entity-type":"item","numeric-id":3647268,"id":"Q3647268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$FD65438D-7AB2-4231-8427-763C99C1F7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e2054e0b0449fd64ff72ecebdc3da498ab4da1","datavalue":{"value":{"entity-type":"item","numeric-id":3655215,"id":"Q3655215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$B9197F23-4ED0-426C-BAB8-4D6532A32461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2807456f0775e5acf452ac835b5fc30350b6d66","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$9BA7FA10-C98B-460A-A30D-57E26C21C517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ac8a2244a946057ab21d23d8cd260bd66c6968","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543627$7E2572EE-F0CA-49D2-AD34-F3ECA998B621","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fba8f8f3107909961ddc8bc74f614583401fe122","datavalue":{"value":"10.1016/J.ARTINT.2010.11.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543627$EFE15626-EAF2-400C-8FBE-FFC1696E0367","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4628692a6341ad0ba11cdfc70a07d8fba41ec902","datavalue":{"value":{"entity-type":"item","numeric-id":3601785,"id":"Q3601785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d02cfb7fd25891e2411fb832dbeab852bf08109c","datavalue":{"value":{"amount":"+0.7558850049972534","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":"Q543627$39C13E53-D425-44B5-9E8C-3F4B3DF8E378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b74e1a7e0635c1d8b36929ccddc1081a076bb2","datavalue":{"value":{"entity-type":"item","numeric-id":3094005,"id":"Q3094005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e8d6b3fbec13efbf9aa996fd5336fe7ee4f820","datavalue":{"value":{"amount":"+0.7521020770072937","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":"Q543627$5410D8B1-4F26-4214-B216-7A9E17B97FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698ca8f172b27dc29a7afa00e7e7e685017d6f2c","datavalue":{"value":{"entity-type":"item","numeric-id":1928487,"id":"Q1928487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965de5277c0df1a383374a053497a4d8012ea71c","datavalue":{"value":{"amount":"+0.7358204126358032","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":"Q543627$814BA57B-52FF-476A-8B80-3A941DD09ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0fd8e9b2b0d66d91caf77b83a770566d85c52a","datavalue":{"value":{"entity-type":"item","numeric-id":3011971,"id":"Q3011971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e63ec38f25d0704c15172b30291aee0f67686be2","datavalue":{"value":{"amount":"+0.7347577810287476","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":"Q543627$70C72D9A-0209-49F9-8830-7348EB7618C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8a0134e8d6627cd91ebe249c356d149921c7d6","datavalue":{"value":{"entity-type":"item","numeric-id":1951297,"id":"Q1951297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb4af6e112a568ea2dd42bb4d2f7325dc74ced5","datavalue":{"value":{"amount":"+0.7295376062393188","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":"Q543627$2BC585EC-4162-4929-837D-3958572B0DF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic for reasoning about counterfactual emotions","badges":[]}}}}}