{"entities":{"Q1036059":{"pageid":1037907,"ns":120,"title":"Item:Q1036059","lastrevid":66848037,"modified":"2026-04-12T13:15:41Z","type":"item","id":"Q1036059","labels":{"en":{"language":"en","value":"Dynamic epistemic logic with branching temporal structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5625279"}},"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":"Q1036059$8F93F049-18EB-4D57-9F92-D7CF3BF7B68B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d24e24d814c340707b02361bbabd6883570a4848","datavalue":{"value":{"text":"Dynamic epistemic logic with branching temporal structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1036059$0185CA00-647A-4B33-ABD4-0A74D13CAF60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ac879cee6610eae2883bda37ee34d5c680b0240","datavalue":{"value":"1184.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036059$B55922E4-0816-4839-B7DE-491DDCD5E609","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d08e12c88f288fdf8b4c973fb4070f888ea8b274","datavalue":{"value":{"entity-type":"item","numeric-id":484919,"id":"Q484919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036059$D1A0700A-F10E-4C68-A2FC-673F70DA037F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b67dcc671251564f42c1692a9027bdb954eb269e","datavalue":{"value":{"entity-type":"item","numeric-id":516249,"id":"Q516249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036059$2FA46EDF-ABB2-4952-A538-E31C40A5978F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036059$88AF6027-DDE7-40D0-8686-98A7DD735F22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1036059$640C3A30-5799-4DE2-ABF5-73BD814F9F5A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0ec3bd9858637040a994ff2dcfd22a19f0cc5bf","datavalue":{"value":"The authors investigate the relationship between dynamic epistemic logics (DEL) as proposed by \\textit{A. Baltag, L. S. Moss} and \\textit{S. Solecki} in [``The logic of public announcements, common knowledge, and private suspicions'', in: I. Gilboa (ed.), Proceedings of the 7th conference on theoretical aspects of rationality and knowledge, TARK '98. San Francisco: Morgan Kaufmann. 43--56 (1998)] and epistemic temporal logics as proposed by \\textit{R. Fagin, J. Y. Halpern, Y. Moses} and \\textit{M. Y. Vardi} in their 1995 book [Reasoning about knowledge. Cambridge, MA: MIT Press (1995; Zbl 0839.68095)]. This is part of a research program launched by \\textit{J. van Benthem, J. Gerbrandy} and \\textit{E. Pacuit} in [``Merging frameworks for interaction: DEL and ETL'', in: D. Samet (ed.), Proceedings of the 11th conference on theoretical aspects of rationality and knowledge, TARK 2007. Louvain-la-neuve: Presses Universitaires de Louvain. 72--81 (2007)].  The present paper improves over the 2009 paper by \\textit{J. van Benthem, J. Gerbrandy, T. Hoshi} and \\textit{E. Pacuit} [J. Philos. Log. 38, No. 5, 491--526 (2009; Zbl 1185.03019)] in two ways: first, the reconstruction of DELs in ETL is extended from public announcement logic to general event models; second, a past operator indexed by an event model is added to the language, in a way similar to \\textit{J. Sack}'s paper [J. Logic Lang. Inf. 17, No. 2, 183--216 (2008; Zbl 1184.03010)].   For both extensions, axiomatizations and completeness proofs are provided. For the former it is a straightforward adaptation of the axiomatics of the 2009 JPL paper. The latter is made up of (1) an axiom F5 stipulating that it cannot be the case that two different events just took place (where `different' here means `syntactically different'), (2) an axiom F6 that is equivalent to the conversion axioms of temporal logics, (3) the K-axiom (that is here formulated for the existential version of the past operator), (4) the necessitation rule and (5) a further, non-standard inference rule. The authors finally discuss some issues such as forgetting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1036059$B69D2B7B-F25C-44BC-9189-93F502C93453","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036059$E9A4698E-FAC4-4CCC-9663-CDFA5CD4F3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036059$4B362A68-4D08-408D-BF90-CB19BD737488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036059$8BC7D9F6-9D44-4F27-813C-967D5CBA35BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0384b475bef9f8bd56e1ec48435b89c9d7e0781","datavalue":{"value":"5625279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036059$3C73B67F-288F-4360-93CA-F9F226187FAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1036059$DCB72795-3DD7-4AE4-B64E-F478C4708F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1036059$66CF226C-7662-4557-A0AA-73F1A2FEEFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f767413c6d7718e701619a385914f1ce3499f90","datavalue":{"value":"DEL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1036059$06C7324A-A84B-446B-B4CC-AB606865AE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7d1c4edf233d7abd6b0cefe95dd478f95fc460b","datavalue":{"value":"ETL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1036059$0529855A-C6A6-43A6-A61F-31E22E24C838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1036059$E145ACDD-6A5A-4E91-9D44-9D3F2CF59C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ab0f04088fb6fde1de0acb7a30e8c9dd6eefb2","datavalue":{"value":"epistemic temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1036059$54F80F17-763F-4579-AEEC-3E51EDC1F5D3","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":"Q1036059$D3B9FFFD-77F6-408B-BBCD-32B09D35E316","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a7bf46638030786368389758c48f28022431a6b","datavalue":{"value":"https://doi.org/10.1007/s11229-009-9552-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1036059$94934441-0751-4494-ACB0-8406AC886859","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e94ac02290c8c156f8e910b935827e2e4e161556","datavalue":{"value":"W1982395595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036059$1EEBB71F-1963-4584-A83B-622B3E4AF4E5","rank":"normal"}],"P223":[{"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":"Q1036059$180C8422-8A48-4E55-B998-9FA5BD41F45F","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":"Q1036059$75ECC0E3-11C5-4CE6-A80D-2FB5F8809386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f695eea8fe808f6184de18b043277613aef09c07","datavalue":{"value":{"entity-type":"item","numeric-id":2574887,"id":"Q2574887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036059$0282103D-2353-4AFF-8F95-786755954C9D","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":"Q1036059$599DA350-510D-4731-B482-746348DC3CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19bae534540b3cc8b15a8c0f045c804c3ffb952","datavalue":{"value":{"entity-type":"item","numeric-id":3612355,"id":"Q3612355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036059$57EC779F-084D-41D8-8B29-F9BA8D2A258C","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":"Q1036059$A6CD7E5C-7A6C-45C8-8B43-6174E3155C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036059$DD6C7F5D-E74F-4ACA-AE64-94A00E20FBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965dc62675dd4d59ba6269a9b5271fedaaad31ec","datavalue":{"value":{"entity-type":"item","numeric-id":857682,"id":"Q857682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036059$D1A08A2D-AABF-4870-951F-43CC1CD51F43","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":"Q1036059$99C71936-931B-4F43-9F85-3B7E2361A3BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5a7ed9013bf2082675de68232fa20ecd89b1a60","datavalue":{"value":"10.1007/S11229-009-9552-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036059$CF97C975-C0FD-46E8-91B3-BAFEDCE1F3A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e30266027908c7675857a58f2c4b8087593422e","datavalue":{"value":{"entity-type":"item","numeric-id":1037376,"id":"Q1037376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c4708e854bb0a0f4dd8901d9daa171d44a21e2","datavalue":{"value":{"amount":"+0.8762233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1036059$9410819B-F24B-4673-BDD1-958D5ACB0A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36983e0749fc77c61b5a29abadef34934a274dc","datavalue":{"value":{"entity-type":"item","numeric-id":3524930,"id":"Q3524930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc5f150be7ba7875eb12c33bae922fdec5e5e34","datavalue":{"value":{"amount":"+0.86756307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1036059$EA27339D-F3DF-45E5-BED6-D67875A0A1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b29218ec81c90047af74e0900974ce9c045fab4e","datavalue":{"value":{"entity-type":"item","numeric-id":616038,"id":"Q616038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf9a025529a2fee756e6957987c5c273066e94e","datavalue":{"value":{"amount":"+0.85853374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1036059$7208E4EB-DD36-4DAA-8BE5-445385E69863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f1542eda8640c9cbd23ce7225894d203ec5aba","datavalue":{"value":{"entity-type":"item","numeric-id":2902940,"id":"Q2902940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9360d7f7811e7fbca886b6d824374d60dd307eca","datavalue":{"value":{"amount":"+0.85557544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1036059$2B5FE2FC-7517-49E2-A44F-72882083AB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a772e73f89e1cafbbea8adcd8f6f357a23d8220","datavalue":{"value":{"entity-type":"item","numeric-id":636377,"id":"Q636377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726dd328edcbd720d6817df79f9f123d29554864","datavalue":{"value":{"amount":"+0.8545459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1036059$6B68BA79-8BCC-422D-B198-77C2A2103A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c550e3fb061e1dd354eb0b1a70c4b7a7bec05c","datavalue":{"value":{"entity-type":"item","numeric-id":4925178,"id":"Q4925178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b47968ee1e69bc9f8238ca5cb5256a759ef8082","datavalue":{"value":{"amount":"+0.8506905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1036059$CBE8CCFC-6AF8-469D-9EBC-E3B7CEC5BB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202122ae804d407fb5d3511e74d7d4203069f192","datavalue":{"value":{"entity-type":"item","numeric-id":4583175,"id":"Q4583175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292ddca1f984151aaab70b474d36394b19101c59","datavalue":{"value":{"amount":"+0.8407984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1036059$D1C58818-CC90-4D45-A045-234D48FADF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9be7a5a260e06b34eb52fd284a356a8d258c880","datavalue":{"value":{"entity-type":"item","numeric-id":516250,"id":"Q516250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208a0caa4769f45218848ed11aec7c1ac5ef8534","datavalue":{"value":{"amount":"+0.83646196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1036059$7FDBD10C-0E4C-4501-89F6-09B53CF50375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2c3c1c84ff881f28bac322a7cbf09c0b618b52a","datavalue":{"value":{"entity-type":"item","numeric-id":4586222,"id":"Q4586222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbad9cfc55ad15eca82000df0fcd9e0ee4bc6250","datavalue":{"value":{"amount":"+0.8357226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1036059$6DC91220-94BE-4960-9777-E1B9EBE01AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8213d1a1ccb6b940e0a35198c448b6579f27aa","datavalue":{"value":{"entity-type":"item","numeric-id":5891665,"id":"Q5891665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4a2b790ffe6fd83dc7f738ba638e229ba37450","datavalue":{"value":{"amount":"+0.8310604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1036059$A03CB80D-96CA-40C3-8415-18CA28276A83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic epistemic logic with branching temporal structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_epistemic_logic_with_branching_temporal_structures"}}}}}