{"entities":{"Q1006486":{"pageid":1008334,"ns":120,"title":"Item:Q1006486","lastrevid":69407022,"modified":"2026-04-13T06:47:40Z","type":"item","id":"Q1006486","labels":{"en":{"language":"en","value":"On combinations of propositional dynamic logic and doxastic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532535"}},"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":"Q1006486$AAA7CEA6-B074-44A2-A66C-A38ADD747E13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"121e1f26e99f4638f0fb78762affba6f1912f7a5","datavalue":{"value":{"text":"On combinations of propositional dynamic logic and doxastic modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006486$FB326A9F-EE14-48F7-A7F5-B91E807BFAB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ead0bd6354c507aa1e3ae0cd216430f184363632","datavalue":{"value":"1184.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006486$7AD7751F-1C79-49DB-AB04-73786247EE47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$2625D280-78FC-475C-9C08-7CD51D5C0D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6f6116a537b2100eaf2b15ff2d89502763ddba9","datavalue":{"value":{"entity-type":"item","numeric-id":702099,"id":"Q702099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$8D751CCF-0910-4F1F-A7CB-FF33CA53C3B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$A2271CD3-C1B8-47FC-872F-8D17F737A5B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006486$CFA9D57A-FE0D-4434-841F-5E7F8A0B3745","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1750e6c34a20b7bdfe3fec33592b3f4f4d86cdb0","datavalue":{"value":"The paper explores some logics between the fusion and the product of PDL on the one hand, and logics between K45 and S5 on the other, mainly presenting completeness and decidability results. These results are established for both the strong and the weak version of each logic, where the weak version does not have uniform substitution for actions (alias programs). The authors show in particular that the strong versions of the logics they investigate trivialize due to the presence of PDL tests, and propose and study an alternative test operator (that is different from the public announcement operator as studied in dynamic epistemic logics). They show that standard PDL can be embedded into the new logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006486$5CF03FFD-EB35-445B-9FAB-78F60790DAA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006486$9F41D2FD-D678-4E94-B8E4-4FEDBF1BEB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006486$E095B0D3-4DAD-4ACD-81FE-4D3DC8C2C8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006486$A9C4126E-9615-4D42-84CE-2D9AC626C939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006486$2AA76FE8-C2ED-4749-948A-417106236356","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4189fe2ffca33ae306cbcfd662fa8239733f7c8","datavalue":{"value":"5532535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006486$565C9B76-B481-40A4-870B-177706CE77ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006486$3E83878B-999C-49C4-A267-87AFDFE4F86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006486$6225289F-017D-49E6-AA3D-E55C0D2D84C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"418aa9467dade11737f711c082b5156d9159554b","datavalue":{"value":"doxastic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006486$362ADC06-7026-4D37-9803-C79820FAD7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006486$57EF941F-0EAB-4379-9E98-89298CB73724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d72f87071c033a7fc6394dc8a7c682569d4313","datavalue":{"value":"reasoning about actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006486$F6768C07-A1B0-49A5-889D-F40DF31B7810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5daa660e02755e3263894bf74beaa1ca6d4968b5","datavalue":{"value":"belief and knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006486$D24DEAB3-DB43-4D78-AB62-3FD87FBF336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006486$FE45F503-0F6F-42FD-89D2-0ACE03883AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad3f33fa516e7e1d06c82337abd08fcf7a95d9b","datavalue":{"value":"many-dimensional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006486$93534538-5C59-4F73-BB54-EAAFEF6C4C73","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":"Q1006486$243F086A-463D-4341-ABF1-7658FCF080F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b25ea0a82e4b205ca438ecff9980acd5a0308fc","datavalue":{"value":"https://doi.org/10.1007/s10849-007-9041-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006486$4BE5DCFB-963C-4AF3-9695-7C3398181173","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbdbaa1460acd36a089a1c30a15461fcb9b33ade","datavalue":{"value":"W2069840991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006486$357E7B28-7E87-4021-AE29-7E4C650FB2C2","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":"Q1006486$3F529C9D-9B8C-467E-A81E-5131ED322A80","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":"Q1006486$7E0E7CE5-F6E8-4393-B290-D8E17E4070F7","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":"Q1006486$105A9432-78BD-4B40-947B-6F634FF1DA75","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":"Q1006486$0D33EB2D-0A84-4BEF-9471-9839FF0962FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45af815584b281446704023f9f4c0865a4d4836","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$5D077721-5674-40F6-94F2-0A5AC210AD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$C6EB7CAB-4CEE-4EFC-BBAB-ED2D151AB767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e0c5cc3575d6be27e025fb497f951125e4854","datavalue":{"value":{"entity-type":"item","numeric-id":3984418,"id":"Q3984418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$749347D3-2287-43BA-AA63-DDCF41F1B052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d4852e470c8c2ecd1b7eb68342cd53f052d985","datavalue":{"value":{"entity-type":"item","numeric-id":1372357,"id":"Q1372357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$4DC8E06F-F3BA-4A2F-983F-A9F4D423EF9E","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":"Q1006486$09DC6F1B-7E0E-450D-AE3B-D6BE7ED21CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564fd9e8b23f01c7a64fcaac1de814ffa56a5025","datavalue":{"value":{"entity-type":"item","numeric-id":4028821,"id":"Q4028821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$09CE6F01-C20C-4926-84F0-291059D94CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$A8C3B174-EADC-44C7-BB4C-796349AB1B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0777eaaf1f148096e887f7c879a73d02ace489e2","datavalue":{"value":{"entity-type":"item","numeric-id":4443204,"id":"Q4443204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$1CA115A8-930A-4BD5-969B-627BCDE05ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03373d055d800c44add4a0719c3f9b1ccdea7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5311047,"id":"Q5311047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$5625F186-1F8E-4905-A640-3F9BD0E0652B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e37aff6d09f77806eaef869ea5522da2b95e51","datavalue":{"value":{"entity-type":"item","numeric-id":702100,"id":"Q702100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$82FCBD69-0F90-4E58-92C0-E7AD6929BF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928cefb6776935dc5b276b5ecfdffc9f1398341e","datavalue":{"value":{"entity-type":"item","numeric-id":4540938,"id":"Q4540938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$544FB9E6-BB8F-4FB2-9981-53BFF18BDEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d266ea7dba03690b29e74dfded7cc44e808380","datavalue":{"value":{"entity-type":"item","numeric-id":4487258,"id":"Q4487258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$E31C790D-8F40-4901-90C8-13649AD9B1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8736b1fc1427ab61e6b1863558749e5897b25ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4789450,"id":"Q4789450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006486$679AD803-FC86-4DBC-9A81-EF9E4F0A1783","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bea73e8b864b29de0540b7e72478da2ffc61ba5","datavalue":{"value":"10.1007/S10849-007-9041-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006486$2F83EA31-5961-45F1-8A21-9C1898358FE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c1fdc3d5271cc31405bb8b0a5170f3ab9c97e6","datavalue":{"value":{"entity-type":"item","numeric-id":5311047,"id":"Q5311047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4161906bbc31f11c6b5a4d7a280ae3b923768e39","datavalue":{"value":{"amount":"+0.9778700470924376","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":"Q1006486$7D2A3CA3-F2CA-4694-94C6-C525B9773922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204badc33185ca93f6312b6d5c9298442aa55aad","datavalue":{"value":{"entity-type":"item","numeric-id":2035846,"id":"Q2035846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647989d290507755016395928bdf778efe2c5c47","datavalue":{"value":{"amount":"+0.8093856573104858","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":"Q1006486$3762EEE4-7599-479C-BFB0-DD202D199541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be7832648067ba9f6ea233fadce1b854a0c6a33","datavalue":{"value":{"entity-type":"item","numeric-id":1267078,"id":"Q1267078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc2813b483f9411ef738580819db994d53532d5","datavalue":{"value":{"amount":"+0.7938637137413025","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":"Q1006486$241A6F9A-C114-479F-97B1-B07ABA663549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7af2a5c006e23e0c4ea7a8d4e9014c2e0b95449","datavalue":{"value":{"entity-type":"item","numeric-id":4612412,"id":"Q4612412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c497b9ea5e55b19db5346756968ba9fd98b480","datavalue":{"value":{"amount":"+0.7913759350776672","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":"Q1006486$CB4F8771-A822-4D0F-8655-9DE2B9F06D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72423d1e07b218128ab7ea1b9e9a4c082956c4fa","datavalue":{"value":{"entity-type":"item","numeric-id":852274,"id":"Q852274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35896437ba7c03949eaa7ceee2d6176570c947cc","datavalue":{"value":{"amount":"+0.7793959379196167","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":"Q1006486$317404E5-0618-4707-80FE-092DB24F7EE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On combinations of propositional dynamic logic and doxastic modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_combinations_of_propositional_dynamic_logic_and_doxastic_modal_logics"}}}}}