{"entities":{"Q1006494":{"pageid":1008342,"ns":120,"title":"Item:Q1006494","lastrevid":66563859,"modified":"2026-04-12T10:58:15Z","type":"item","id":"Q1006494","labels":{"en":{"language":"en","value":"Temporal languages for epistemic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532541"}},"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":"Q1006494$B2776DD2-4220-4A1D-BF53-ED5C5A511504","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e621e4c59cc1492eec80d97b836ad1ab3e4a397","datavalue":{"value":{"text":"Temporal languages for epistemic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006494$34722B36-2EB5-4B92-80D1-1D51E74679E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2bed94db2db029cfac22e8b23e3c2f2a184862a","datavalue":{"value":"1184.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006494$2905DC7B-3311-4011-BF78-F935813CB0FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c966e7dbbd59a484367bbf8cf75fa2113f8ffd32","datavalue":{"value":{"entity-type":"item","numeric-id":426788,"id":"Q426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006494$91D23131-5B1C-4463-9411-A0531F861F77","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":"Q1006494$F1CBC6A4-0616-4425-A1B1-310D91784FBE","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":"Q1006494$E0399C7C-A0E2-4F47-AA6F-B3D6F05E4EAF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb67f2fc81d92ec97ed969f8674fc446ead3bdf1","datavalue":{"value":"The paper is concerned with the extension of public announcement logic (PAL) and dynamic epistemic logic (DEL) by inverse programs and by a temporal operator `yesterday'. Extensions by the temporal `tomorrow' as well as by nominals and binder of hybrid logic are also discussed. The research program is related to a series of papers that started in 2007, with recent presentations by \\textit{J. van Benthem} et al. [``Merging frameworks for interaction'', J. Philos. Log. 38, No. 5, 491--526 (2009; Zbl 1185.03019)] and by \\textit{T. Hoshi} and \\textit{A. Yap} [``Dynamic epistemic logic with branching temporal structures'', Synthese 169, No. 2, 259--281 (2009; Zbl 1184.03009)].  The main difference is that the present account does not integrate protocols, and therefore does not deal with the fact that announcements do not satisfy the principle \\( \\varphi \\rightarrow \\langle\\varphi\\rangle \\top \\). It is shown that the logic allows to adequately model several phenomena: variations of the muddy children puzzle, the sum and product puzzle, Fitch's paradox of knowability, and more generally reasoning about (the absence of) belief revision and about the playing of games in extensive form. For the language without common knowledge a complete axiomatisation of the temporal extension of PAL is given; for the case of common knowledge it is referred to the author's PhD thesis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006494$FB4C226D-EF88-4EAC-BED1-489770B88D3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006494$D970AE72-BE39-4AF8-8012-B0EF7A74DAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006494$18B7E0CF-CEFD-4AB1-8455-3211ED0178BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b62618968d697f5e5d539ac855cf7c275fff235f","datavalue":{"value":"91A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006494$7AE945E1-32A9-4741-AADB-814AF95EC14C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92fc163ef40f454d30db7fe86060953fb2f953ae","datavalue":{"value":"5532541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006494$A3E77998-686B-4486-B376-41F0C5FE8A68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006494$2AB06ED6-34BB-41E8-A2B8-5E1FA4E93B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006494$B5750714-E348-4384-ACB1-CEB0047288A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006494$1EF57555-82D7-49CD-881A-E4178DAB4763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006494$866F7D60-1104-4404-98B7-B19A144E6462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006494$7D484E2C-BA6C-4FB6-B0CE-DDDAA021FB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006494$825A9183-6EE6-4EEF-B515-FF8C96A5642F","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":"Q1006494$ABE7CD0C-EAC8-4203-AFFA-D00722E5BA45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a9414da4893e916790176be116dc0730e7984d8","datavalue":{"value":"https://doi.org/10.1007/s10849-007-9054-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006494$C44E4286-4787-4DA6-9F67-B80376DFEEA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ae76882f76c6d8864cf28836d5122adcd8d2d2b","datavalue":{"value":"W2031495626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006494$1EABF7F7-8259-45A8-BD25-39F85FDA3257","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006494$070F9EFC-D4FE-48DB-9480-3F30DCECE139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1000585cf709f3e3bfe90fd2c0aa0bbf887f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4663370,"id":"Q4663370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006494$F1C46E79-8B81-4246-AF6C-B396129E2E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da8c2de419db8eadc2bb3e1de8c4f80cf93487","datavalue":{"value":{"entity-type":"item","numeric-id":1909610,"id":"Q1909610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006494$C2382041-864A-4979-8539-09702D9D5919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4183773dfc9d0daf4ae5f59f461d74c5c46eedae","datavalue":{"value":{"entity-type":"item","numeric-id":4710122,"id":"Q4710122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006494$5259B085-E423-459D-9378-1260FA121B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19ac46366c033ad8bfa605afd05e8eb7589e8c8","datavalue":{"value":{"entity-type":"item","numeric-id":3520235,"id":"Q3520235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006494$3E40C992-4F87-41DE-A3F0-F6B1285A4A8A","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":"Q1006494$7760B5F4-39EF-4799-A37F-BE88CB03F283","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca17154bfcf9b941440544314c4eb40fd17c5698","datavalue":{"value":"10.1007/S10849-007-9054-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006494$D4FE971E-94DD-44AE-8BB3-B71A728F838B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32427d305ddef54839c3b7329aee15f5f050c510","datavalue":{"value":{"entity-type":"item","numeric-id":484925,"id":"Q484925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ae27653bcdb842ff34a744acccb540a035fdb5","datavalue":{"value":{"amount":"+0.8557812","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":"Q1006494$66299466-6EA8-4FDE-A0B7-9F507F4FE451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6936932a053b6190bd59a94cf5629121b19da80b","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e346068fe20d859b69407ea01e58092f3f0b0d6f","datavalue":{"value":{"amount":"+0.8376918","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":"Q1006494$ACEE0A31-5782-4252-824E-CBA47D14964F","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":"0dc4796e03445b0b6cd952c4d2aa6e65ab79194c","datavalue":{"value":{"amount":"+0.83617306","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":"Q1006494$1A0EB25E-99BD-4403-82D1-1AB38F9D268B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d84de61760726a7a05299cdcae20514519c987e","datavalue":{"value":{"entity-type":"item","numeric-id":2973442,"id":"Q2973442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1a61e739abe377473d181ed43f3daffcb2afde","datavalue":{"value":{"amount":"+0.8345679","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":"Q1006494$59F059B0-EC00-4545-A371-E17E17FF5B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0c0b6b69cf87d1e1c88777c0928d21e66043a7","datavalue":{"value":{"entity-type":"item","numeric-id":3093998,"id":"Q3093998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df687367ffb39f7d69b6e9068321fc6ded50196","datavalue":{"value":{"amount":"+0.8343484","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":"Q1006494$9D3C11B3-47C2-44AB-A1DC-776DDA50279C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9471ea1242051a8f3c89df7e03b99536376b630","datavalue":{"value":{"entity-type":"item","numeric-id":393906,"id":"Q393906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5037ad30b28df66dd1425d7a161f298e62a38a6b","datavalue":{"value":{"amount":"+0.8333555","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":"Q1006494$CB6132DD-D958-4C1B-A9F9-2F6D5E0E0748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b081e4cfa3ac90661bb9d724d20991f3685a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3094018,"id":"Q3094018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0415d08811ffcb0980fd49c3b71cb8f14790013c","datavalue":{"value":{"amount":"+0.8291521","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":"Q1006494$4B9679C7-63FF-46E9-8A17-26CED7CECA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5464eb4f247b4c60cfbfd5b37f065d6300a02496","datavalue":{"value":{"entity-type":"item","numeric-id":5434478,"id":"Q5434478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ee721dba7febb82c24bfaadb6138c73a621b46","datavalue":{"value":{"amount":"+0.82478195","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":"Q1006494$CEFA88D2-E459-4003-9B39-332A1F3B033B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal languages for epistemic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_languages_for_epistemic_programs"}}}}}