{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T00:22:30Z","timestamp":1768004550302,"version":"3.49.0"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T00:00:00Z","timestamp":1240272000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s11229-009-9555-3","type":"journal-article","created":{"date-parts":[[2009,4,20]],"date-time":"2009-04-20T18:22:46Z","timestamp":1240251766000},"page":"241-257","source":"Crossref","is-referenced-by-count":14,"title":["Extending probabilistic dynamic epistemic logic"],"prefix":"10.1007","volume":"169","author":[{"given":"Joshua","family":"Sack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,4,21]]},"reference":[{"key":"9555_CR1","unstructured":"Baltag, A., Moss, L., & Solecki, S. (2003). Logics for epistemic actions: Completeness, decidability, expressivity. Indiana University (Manuscript)."},{"key":"9555_CR2","doi-asserted-by":"crossref","unstructured":"Baltag, A., & Moss, L. S. (2004). Logics for epistemic programs. Synthese, 139(2, Knowledge, Rationality & Action),165\u2013224.","DOI":"10.1007\/1-4020-4094-6_1"},{"issue":"2","key":"9555_CR3","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"Fagin R., Halpern J. (1994) Reasoning about knowledge and probability. Journal of the ACM 41(2): 340\u2013367","journal-title":"Journal of the ACM"},{"key":"9555_CR4","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (1995). Reasoning about knowledge. The MIT Press.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"9555_CR5","volume-title":"Modern real analysis","author":"R.F. Gariepy","year":"1995","unstructured":"Gariepy R.F., Ziemer W.P. (1995) Modern real analysis. PWS Publishing Company, Boston"},{"issue":"4","key":"9555_CR6","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1145\/153724.153770","volume":"40","author":"J. Halpern","year":"1993","unstructured":"Halpern J., Tuttle M. (1993) Knowledge, probability, and adversaries. Journal of the ACM 40(4): 917\u2013962","journal-title":"Journal of the ACM"},{"issue":"4","key":"9555_CR7","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1023\/A:1025050800836","volume":"12","author":"B.P. Kooi","year":"2003","unstructured":"Kooi B.P. (2003) Probabilistic dynamic epistemic logic. Journal of Logic, Language and Information 12(4): 381\u2013408","journal-title":"Journal of Logic, Language and Information"},{"key":"9555_CR8","unstructured":"Sack, J. (2007). Logic for update products and steps into the past (Manuscript)."},{"issue":"2","key":"9555_CR9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/s10849-007-9054-1","volume":"17","author":"J. Sack","year":"2008","unstructured":"Sack J. (2008) Temporal languages for epistemic programs. Journal of Logic, Language and Information 17(2): 183\u2013216","journal-title":"Journal of Logic, Language and Information"},{"key":"9555_CR10","unstructured":"van Benthem, J., Gerbrandy, J., & Kooi, B. (2006). Dynamic update with probabilities. In W. van der Hoek & M. Wooldridge (Eds.), Proceedings of LOFT\u201906. Liverpool"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-009-9555-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-009-9555-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-009-9555-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T02:58:38Z","timestamp":1739069918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-009-9555-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,21]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["9555"],"URL":"https:\/\/doi.org\/10.1007\/s11229-009-9555-3","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,21]]}}}