{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T09:59:13Z","timestamp":1755597553775},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,11,22]],"date-time":"2007-11-22T00:00:00Z","timestamp":1195689600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1007\/s10849-007-9054-1","type":"journal-article","created":{"date-parts":[[2007,11,21]],"date-time":"2007-11-21T09:48:21Z","timestamp":1195638501000},"page":"183-216","source":"Crossref","is-referenced-by-count":19,"title":["Temporal Languages for Epistemic Programs"],"prefix":"10.1007","volume":"17","author":[{"given":"Joshua","family":"Sack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,11,22]]},"reference":[{"key":"9054_CR1","unstructured":"Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., & de Lima, T. (2007). What can we achieve by arbitrary announcements? A dynamic take on Fitch\u2019s knowability. Proceedings of Theoretical Aspects of Rationality and Knowledge."},{"key":"9054_CR2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A. Baltag","year":"2004","unstructured":"Baltag A., Moss L. (2004). Logics for epistemic programs. Synthese 139, 165\u2013224","journal-title":"Synthese"},{"key":"9054_CR3","unstructured":"Baltag, A., Moss, L., & Solecki, S. (2003). Logics for epistemic actions: Completeness, decidability, expressivity. ms. Indiana University."},{"key":"9054_CR4","unstructured":"van Benthem, J. (2007). What one may come to know. ms. Universiteit van Amsterdam."},{"key":"9054_CR5","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","author":"P. Blackburn","year":"1995","unstructured":"Blackburn P., Seligman J. (1995). Hybrid logic. Journal of Logic, Language and Information 4, 251\u2013272","journal-title":"Journal of Logic, Language and Information"},{"key":"9054_CR6","unstructured":"Brogaard, B., & Salerno, J. (2002). Fitch\u2019s paradox of knowability. Stanford Electronic Encyclopedia of Philosophy, http:\/\/plato.stanford.edu\/entries\/fitch-paradox\/"},{"key":"9054_CR7","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H. P., Ruan, J., & Verbrugge, L. C. (2007). Sum and product in dynamic epistemic logic. Journal of Logic and Computation, to appear.","DOI":"10.1093\/logcom\/exm081"},{"key":"9054_CR8","unstructured":"Gerbrandy, D. (1998). Bisimulations on Planet Kripke. PhD Thesis, ILLC, Universiteit van Amsterdam."},{"key":"9054_CR9","unstructured":"Plaza, J. (1989). Logics of public communications. Proceedings of 4th International Symposium on Methodologies for Intelligent Systems."},{"key":"9054_CR10","unstructured":"Sack, J. (2007). Adding temporal logic to dynamic epistemic Logic. PhD Thesis, Indiana University."},{"key":"9054_CR11","unstructured":"Sack, J. (2007). Logic for update products and steps into the past. ms. California State University Long Beach."},{"key":"9054_CR12","unstructured":"Yap, A. (2005). Product update and looking backward. ms. Stanford University. Also at www.illc.uva.nl\/lgc\/papers\/bms-temporal.pdf"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-007-9054-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-007-9054-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-007-9054-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:31:01Z","timestamp":1559269861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-007-9054-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,22]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,4]]}},"alternative-id":["9054"],"URL":"https:\/\/doi.org\/10.1007\/s10849-007-9054-1","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11,22]]}}}