{"entities":{"Q652739":{"pageid":654588,"ns":120,"title":"Item:Q652739","lastrevid":63455139,"modified":"2026-04-11T13:16:41Z","type":"item","id":"Q652739","labels":{"en":{"language":"en","value":"Reasoning about permitted announcements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5988603"}},"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":"Q652739$31F388A3-5DCB-4745-B94C-F339959203B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5ef4ab7ffac7d63d1ecca99a8dd341dae0fd768","datavalue":{"value":{"text":"Reasoning about permitted announcements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q652739$C07120A7-0969-4D3F-A3E5-3CC6E4A2926A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"864a32f57bc7e702dcf6ca614ea76917200a4879","datavalue":{"value":"1241.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652739$13A99FDE-1698-4B91-B64A-25227D729BC6","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":"Q652739$EBF19BAC-0C5B-49DE-B152-60EDBA886AE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"241a8323c3f398ba1ab80d34189327d48ce2252c","datavalue":{"value":{"time":"+2011-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q652739$5F75D530-FF4E-43B9-ABDF-06D297EB7EAF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"30b1874ef8db06ad925e61e93706c60a269473e6","datavalue":{"value":"The authors propose a logic for permissions and obligations to say things. To this end they make use of ideas from [\\textit{R. van der Meyden}, ``The dynamic logic of permission'', J. Log. Comput. 6, No. 3, 465--479 (1996; Zbl 0855.03008)] and from \\textit{J. Plaza}'s paper [``Logics of public communication'', in: M. L. Emrich et al. (eds.), Proceedings of the fourth international symposium on methodologies for intelligent systems. Poster session program. Oak Ridge National Laboratory. 201--216 (1989); reprinted in: Synthese 158, No. 2, 165--179 (2007; Zbl 1126.03308)]. They axiomatize their logic, show that it is decidable, and illustrate its use with the French card game Belote.","type":"string"},"datatype":"string"},"type":"statement","id":"Q652739$8ECAE7A4-B73E-4374-9D6F-6A734A49970E","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":"Q652739$F2E2C019-CBE4-4FEC-A1FD-963D43F420D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652739$FCB381D3-4282-4173-AB8A-38C427CCB792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652739$81E55D26-4569-4B5D-B232-A2F8459FDE93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"286171cfed9208903a465832619e2f65ba2dae89","datavalue":{"value":"5988603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652739$A884ACF5-FBAC-4298-AE99-B9291D591404","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q652739$F83AC636-F02A-4292-84C5-3B0A21290F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556999bacb72d38f127f027ec87defd656cc943f","datavalue":{"value":"public announcements","type":"string"},"datatype":"string"},"type":"statement","id":"Q652739$20D1A48D-516A-43E5-BFFD-D9A4CD0BBB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q652739$9CDD6AAD-9576-417D-8CC6-195D17FB8452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q652739$7FB993D0-7D9F-49F4-B13D-270A495EE675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q652739$CAFD1BE3-3524-4AB4-818B-1CC006DF68F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f33bfcf9efb5ea007348fc5db075e128a32c28","datavalue":{"value":"permission","type":"string"},"datatype":"string"},"type":"statement","id":"Q652739$8029E032-3EBF-4D95-8ABD-1644D46F473A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"893b649a1c4e1b3cf47a32325f4dfc3e637277df","datavalue":{"value":"obligation","type":"string"},"datatype":"string"},"type":"statement","id":"Q652739$B6316BD6-F64F-408F-B230-BFD27D2D422B","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":"Q652739$B25B79C5-A23D-481A-ADE0-77AB4F1F87AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88b0c8dce2bea74e802aa52a901bd8950a68723b","datavalue":{"value":{"entity-type":"item","numeric-id":975876,"id":"Q975876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652739$074910D0-8681-4B12-A786-54ACF36CD1CF","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":"Q652739$12BB2C22-E703-42E1-8E44-042C4A54009A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"540d8e8848abfa8508012df97384ce2b35902476","datavalue":{"value":"https://doi.org/10.1007/s10992-011-9187-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q652739$05DF7115-D06F-4236-9AA5-5F1B178C178A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab60c2d864ebc2b7bdda6411168c9c3298e15db7","datavalue":{"value":"W2091896198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652739$5AE5D1BC-7989-4739-82AA-DB471C270E2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ce7fc6fd0d266ea8bb5a566a7fafa2325cc166","datavalue":{"value":{"entity-type":"item","numeric-id":975877,"id":"Q975877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652739$15E1A92D-866F-40E1-B9A3-8FFD5463C0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b565370cf7be78ddbb5beffc72a2d3f84fdb947","datavalue":{"value":{"entity-type":"item","numeric-id":4931575,"id":"Q4931575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652739$D506D764-879C-4E51-984A-2988D11BEB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccebe54684465b562b8b75c752ddac4d8c96a020","datavalue":{"value":{"entity-type":"item","numeric-id":652739,"id":"Q652739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652739$09E28D4D-E6EC-4A41-B226-3E4FA8F7609F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652739$970599C5-7F43-4D00-8E1C-1DE12EB08120","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":"Q652739$147D2D5C-E2AA-4499-BF95-C11274C501D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652739$B63350EB-CAC5-4CED-BF0D-9AA37F703E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652739$5E38A2AD-BB02-4085-81D0-5F17098449F6","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":"Q652739$0BA546D3-9B0B-4AD8-82B5-4A9063872191","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":"Q652739$3D797A37-5F50-4929-91A8-C8708578DD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c448169401b2aabe251045d57dd89c77157e867c","datavalue":{"value":{"entity-type":"item","numeric-id":1403408,"id":"Q1403408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652739$AF5C5391-6679-4AD8-9B36-6E6612CC41A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a049e6f6cf9937dccfc8ceb8b98d752887d25db","datavalue":{"value":{"entity-type":"item","numeric-id":2460188,"id":"Q2460188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652739$10FA82CE-CD56-4C2C-B143-9F64F550C2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8429c2d2fe840d3b0c18b0f629a64742275db59","datavalue":{"value":{"entity-type":"item","numeric-id":5308468,"id":"Q5308468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652739$9680553D-4768-4CC9-B842-C501A00E3208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5323be5ec0ea7ed7d279c26a250277ff544aed73","datavalue":{"value":{"entity-type":"item","numeric-id":1037376,"id":"Q1037376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652739$9C3ADD7C-AB5C-48B3-9CC0-8D6E0F8F1EDB","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":"Q652739$BFF9C50E-7B40-4AF6-971C-53951057BD1F","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":"Q652739$1AE82C22-43FC-4351-9FB7-584D2D6097B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9f160a449ad08e11918d94d536d842bff4ee6e","datavalue":{"value":{"entity-type":"item","numeric-id":2649308,"id":"Q2649308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652739$5C418347-178A-40F2-AA60-193826832149","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae8231c40c7bbc658d8023c1c6d46ae2e423e4a3","datavalue":{"value":"10.1007/S10992-011-9187-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652739$76981214-E697-4FD9-BF42-CC4B5DE97E94","rank":"normal"}],"P1643":[{"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":"4d115a3baa8fe9fa02f60ea3696c8c3ab414d79b","datavalue":{"value":{"amount":"+0.7878785729408264","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":"Q652739$FC575D83-6366-4285-83E3-357FF98F4341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8203d66117790ac8bc47626c34e2daeb576fd7","datavalue":{"value":{"entity-type":"item","numeric-id":975877,"id":"Q975877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d115a3baa8fe9fa02f60ea3696c8c3ab414d79b","datavalue":{"value":{"amount":"+0.7878785729408264","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":"Q652739$61C7FA8A-9A58-4B13-B2FD-287E91AEF6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488b2402f40791c15f0218098328eb32bfee0042","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5f43828f13b6c659389e5f5a9b03ad55d1a7fc","datavalue":{"value":{"amount":"+0.7702190279960632","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":"Q652739$3BEB3B18-A29C-4A28-8A9C-B64C2F048D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a190267c2be4da464b82bf786887dbfd4dd05965","datavalue":{"value":{"entity-type":"item","numeric-id":5271378,"id":"Q5271378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34fce1e0eac2e016ea6b3ed9fe891b630d43a238","datavalue":{"value":{"amount":"+0.7573549151420593","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":"Q652739$3457EDB3-01BA-432B-900A-5C66DEA6270C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e2ef29a2bdbf47a6b8f0724c26cc553f2af7a94","datavalue":{"value":{"entity-type":"item","numeric-id":615900,"id":"Q615900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0844cfcd620ce84dfbb647490ca97a00fb661efa","datavalue":{"value":{"amount":"+0.7555487751960754","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":"Q652739$90E482C8-E61B-47D0-8271-C0434E084456","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about permitted announcements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_permitted_announcements"}}}}}