{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:10Z","timestamp":1762458970255,"version":"3.40.2"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2012,3,9]],"date-time":"2012-03-09T00:00:00Z","timestamp":1331251200000},"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":[[2012,4]]},"DOI":"10.1007\/s11229-012-0083-1","type":"journal-article","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T16:31:48Z","timestamp":1331224308000},"page":"131-151","source":"Crossref","is-referenced-by-count":15,"title":["Action emulation"],"prefix":"10.1007","volume":"185","author":[{"given":"Jan","family":"van Eijck","sequence":"first","affiliation":[]},{"given":"Ji","family":"Ruan","sequence":"additional","affiliation":[]},{"given":"Tomasz","family":"Sadzik","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,3,9]]},"reference":[{"issue":"1","key":"83_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/1467-8586.00138","volume":"54","author":"A. Baltag","year":"2002","unstructured":"Baltag A. (2002) A logic for suspicious players: Epistemic action and belief-updates in games. Bulletin of Economic Research 54(1): 1\u201345","journal-title":"Bulletin of Economic Research"},{"issue":"2","key":"83_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(2): 165\u2013224","journal-title":"Synthese"},{"key":"83_CR3","unstructured":"Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In I. Bilboa (Ed.), Proceedings of TARK\u201998 (pp. 43\u201356)."},{"key":"83_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge tracts in theoretical computer science. New York: Cambridge University Press.","DOI":"10.1017\/CBO9781107050884"},{"key":"83_CR5","doi-asserted-by":"crossref","unstructured":"Ditmarsch, H. V. (2001). Knowledge games. Ph.D. thesis, ILLC, Amsterdam.","DOI":"10.1111\/1467-8586.00134"},{"key":"83_CR6","unstructured":"Ditmarsch, H. V., & French, T. (2008). Simulation and information: Quantifying over epistemic events. In J.-J. C. Meyer, & J. Broersen (Eds.), KRAMAS. Lecture notes in computer science (Vol. 5605, pp. 51\u201365). New York: Springer."},{"key":"83_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic. Synthese library (Vol. 337)","author":"H.V. Ditmarsch","year":"2007","unstructured":"Ditmarsch H.V., van der Hoek W., Kooi B. (2007) Dynamic epistemic logic. Synthese library (Vol. 337). Springer, New York"},{"key":"83_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about knowledge. MIT Press, Cambridge, MA"},{"issue":"2","key":"83_CR9","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M. Fischer","year":"1979","unstructured":"Fischer M., Ladner R. (1979) Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18(2): 194\u2013211","journal-title":"Journal of Computer and System Sciences"},{"key":"83_CR10","unstructured":"Gerbrandy, J. (1999). Bisimulations on planet Kripke. Ph.D. thesis, ILLC, Amsterdam."},{"key":"83_CR11","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0304-3975(81)90019-0","volume":"14","author":"D. Kozen","year":"1981","unstructured":"Kozen D., Parikh R. (1981) An elementary proof of the completeness of PDL. Theoretical Computer Science 14: 113\u2013118","journal-title":"Theoretical Computer Science"},{"key":"83_CR12","unstructured":"Lutz, C. (2006). Complexity and succinctness of public announcement logic. In: AAMAS \u201906: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (pp. 137\u2013143). ACM: New York."},{"issue":"6","key":"83_CR13","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"Paige R., Tarjan R. E. (1987) Three partition refinement algorithms. SIAM Journal on Scientific Computing 16(6): 973\u2013989","journal-title":"SIAM Journal on Scientific Computing"},{"key":"83_CR14","unstructured":"Ruan, J. (2004). Exploring the update universe. Master\u2019s thesis, ILLC, Amsterdam."},{"key":"83_CR15","unstructured":"Sadzik, T. (March 2006). Exploring the iterated update universe. Tech. rep., PP-2006-26. Amsterdam: ILLC."},{"key":"83_CR16","first-page":"36","volume-title":"Universal algebra and applications","author":"K. Segerberg","year":"1982","unstructured":"Segerberg K. (1982) A completeness theorem in the modal logic of programs. In: Traczyck T. (ed) Universal algebra and applications. Polish Science Publications, Warsaw, pp 36\u201346"},{"key":"83_CR17","first-page":"7","volume-title":"Logic in action","author":"J. Benthem van","year":"2001","unstructured":"van Benthem J. (2001) Language, logic, and communication. In: Benthem J., Dekker P., Eijck J., Rijke M., Venema Y. (eds) Logic in action. ILLC, Amsterdam, pp 7\u201325"},{"key":"83_CR18","first-page":"95","volume-title":"Proceedings of logic colloquium \u201902","author":"J. Benthem van","year":"2002","unstructured":"van Benthem J. (2002) One is a lonely number: On the logic of communication. In: Chatzidakis Z., Koepke P., Pohlers W. (eds) Proceedings of logic colloquium \u201902. M\u00fcnster, Germany, pp 95\u2013128"},{"issue":"11","key":"83_CR19","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J. Benthem van","year":"2006","unstructured":"van Benthem J., van Eijck J., Kooi B. (2006) Logics of communication and change. Information and Computation 204(11): 1620\u20131662","journal-title":"Information and Computation"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-012-0083-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-012-0083-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-012-0083-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T19:04:39Z","timestamp":1742670279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-012-0083-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,9]]},"references-count":19,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["83"],"URL":"https:\/\/doi.org\/10.1007\/s11229-012-0083-1","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2012,3,9]]}}}