{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T23:47:32Z","timestamp":1771890452714,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2013,1,5]],"date-time":"2013-01-05T00:00:00Z","timestamp":1357344000000},"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":[[2013,12]]},"DOI":"10.1007\/s11229-012-0233-5","type":"journal-article","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T13:23:04Z","timestamp":1357305784000},"page":"103-134","source":"Crossref","is-referenced-by-count":70,"title":["On axiomatizations of public announcement logic"],"prefix":"10.1007","volume":"190","author":[{"given":"Yanjing","family":"Wang","sequence":"first","affiliation":[]},{"given":"Qinxiang","family":"Cao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,1,5]]},"reference":[{"key":"233_CR1","unstructured":"Aucher, G., & Herzig, A. (2011). Dynamic formal epistemology, Chap. Exploring the power of converse events. Berlin: Springer."},{"issue":"2","key":"233_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":"233_CR3","unstructured":"Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In Proceedings of TARK \u201998 (pp. 43\u201356). Los Altos, CA: Morgan Kaufmann Publishers."},{"key":"233_CR4","volume-title":"Modal logic","author":"P Blackburn","year":"2002","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2002). Modal logic. Cambridge: Cambridge University Press."},{"issue":"2","key":"233_CR5","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s10992-008-9087-1","volume":"38","author":"D Bonnay","year":"2009","unstructured":"Bonnay, D., & \u00c9gr\u00e9, P. (2009). Inexact knowledge with introspection. Journal of Philosophical Logic, 38(2), 179\u2013227.","journal-title":"Journal of Philosophical Logic"},{"key":"233_CR6","doi-asserted-by":"crossref","unstructured":"D\u00e9gremont, C., L\u00f6we, B., & Witzel, A. (2011). The synchronicity of dynamic epistemic logic. In TARK2011, Groningen.","DOI":"10.1145\/2000378.2000395"},{"key":"233_CR7","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. Cambridge, MA: MIT Press."},{"issue":"3","key":"233_CR8","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1023\/A:1015782031903","volume":"31","author":"DM Gabbay","year":"2002","unstructured":"Gabbay, D. M. (2002). A theory of hypermodal logics: mode shifting in modal logic. Journal of Philosophical Logic, 31(3), 211\u2013243.","journal-title":"Journal of Philosophical Logic"},{"key":"233_CR9","unstructured":"Gerbrandy, J. (1999). Bisimulations on Planet Kripke. Ph.D. thesis, University of Amsterdam."},{"issue":"2","key":"233_CR10","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., & Groeneveld, W. (1997). Reasoning about information change. Journal of Logic, Language and Information, 6(2), 147\u2013169.","journal-title":"Journal of Logic, Language and Information"},{"issue":"3","key":"233_CR11","doi-asserted-by":"crossref","first-page":"26:1","DOI":"10.1145\/2287718.2287726","volume":"13","author":"R Goldblatt","year":"2012","unstructured":"Goldblatt, R., & Jackson, M. (2012). Well-structured program equivalence is highly undecidable. ACM Transactions on Computational Logic, 13(3), 26:1\u201326:8.","journal-title":"ACM Transactions on Computational Logic"},{"issue":"3","key":"233_CR12","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"J Halpern","year":"2004","unstructured":"Halpern, J., van der Meyden, R., & Vardi, M. (2004). Complete axiomatizations for reasoning about knowledge and time. SIAM Journal on Computing, 33(3), 674\u2013703.","journal-title":"SIAM Journal on Computing"},{"key":"233_CR13","unstructured":"Harel, D. (1985). Recurring dominoes: Making the highly undecidable highly understandable. In Selected papers of the international conference on \u201cfoundations of computation theory\u201d on topics in the theory of computation (pp. 51\u201371). New York: Elsevier North-Holland."},{"key":"233_CR14","unstructured":"Herzig, A., & Lima, T. D. (2006). Epistemic actions and ontic actions: A unified logical framework. In: Proceedings of IBERAMIA-SBIA (pp. 409\u2013418). Berlin: Springer."},{"key":"233_CR15","unstructured":"Holliday, W., Hoshi, T., & Icard, T. (2012). A uniform logic of information dynamics. In Proceedings of advances in modal logic 2012 (Vol. 9. pp. 348\u2013367). London: College Publications."},{"key":"233_CR16","unstructured":"Hoshi, T. (2009). Epistemic dynamics and protocol information. Ph.D. thesis, Stanford."},{"key":"233_CR17","unstructured":"Liu, F. (2008). Changing for the better. Ph.D. thesis, University of Amsterdam."},{"issue":"3","key":"233_CR18","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/s11225-005-3612-9","volume":"79","author":"J Miller","year":"2005","unstructured":"Miller, J., & Moss, L. (2005). The undecidability of iterated modal relativization. Studia Logica, 79(3), 373\u2013407.","journal-title":"Studia Logica"},{"key":"233_CR19","unstructured":"Parikh, R., & Ramanujam, R. (1985). Distributed processes and the logic of knowledge. In Proceedings of conference on logic of programs (pp. 256\u2013268). London: Springer."},{"key":"233_CR20","unstructured":"Plaza, J. A. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z. W. Ras (Eds.), Proceedings of the 4th international symposium on methodologies for intelligent systems (pp. 201\u2013216). Knoxville, TX: Oak Ridge National Laboratory."},{"key":"233_CR21","volume-title":"Syntax and semantics","author":"R Stalnaker","year":"1978","unstructured":"Stalnaker, R. (1978). Assertion. In P. Cole (Ed.), Syntax and semantics (Vol. 9). New York: Academic Press."},{"key":"233_CR22","unstructured":"van Benthem, J. (1999). Update as relativization. Unpublished notes."},{"issue":"2","key":"233_CR23","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J. (2007). Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 17(2), 129\u2013155.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"233_CR24","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical dynamics of information and interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge: Cambridge University Press."},{"key":"233_CR25","unstructured":"van Benthem, J. (2012). Two logical faces of belief revision. Unpublished manuscript."},{"issue":"5","key":"233_CR26","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","author":"J Benthem van","year":"2009","unstructured":"van Benthem, J., Gerbrandy, J., Hoshi, T., & Pacuit, E. (2009). Merging frameworks for interaction. Journal of Philosophical Logic, 38(5), 491\u2013526.","journal-title":"Journal of Philosophical Logic"},{"key":"233_CR27","unstructured":"van Benthem, J., & Ikegami, D. (2008). Modal fixed-point logic and changing models. In A. Avron, N. Dershowitz, & A. Rabinovich (Eds.), Pillars of computer science (pp. 146\u2013165). Heidelberg: Springer."},{"key":"233_CR28","unstructured":"van Benthem, J., & Minic\u0103, S. (2009). Toward a dynamic logic of questions. In X. He, J. F. Horty, & E. Pacuit (Eds.), Proceedings of the 2nd international workshop on logic, rationality and interaction (LORI-II), Vol. 5834 of FoLLI-LNAI (pp. 27\u201341). Berlin: Springer."},{"issue":"11","key":"233_CR29","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"},{"key":"233_CR30","unstructured":"van der Hoek, W., & Pauly, M. (2006). Handbook of modal logic, Chap. Modal logic for games and information. Amsterdam: Elsevier."},{"issue":"1","key":"233_CR31","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1023\/A:1026168632319","volume":"75","author":"H Ditmarsch van","year":"2003","unstructured":"van Ditmarsch, H. (2003). The Russian Cards problem. Studia Logica, 75(1), 31\u201362.","journal-title":"Studia Logica"},{"key":"233_CR32","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic (Synthese Library, 1st ed.). Berlin: Springer."},{"key":"233_CR33","unstructured":"Wang, Y. (2006). Indexed semantics and its application in modelling interactive unawareness. Master\u2019s thesis, University of Amsterdam."},{"key":"233_CR34","doi-asserted-by":"crossref","unstructured":"Wang, Y. (2011). On axiomatizations of PAL. In Proceedings of LORI-III (pp. 314\u2013327).","DOI":"10.1007\/978-3-642-24130-7_23"},{"key":"233_CR35","unstructured":"Wang, Y., & Li, Y. (2012). Not all those who wander are lost: dynamic epistemic reasoning in navigation. In Proceedings of advances in modal logic (Vol. 9. pp. 559\u2013580). London: College Publications."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-012-0233-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-012-0233-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-012-0233-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:01:23Z","timestamp":1745942483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-012-0233-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,5]]},"references-count":35,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["233"],"URL":"https:\/\/doi.org\/10.1007\/s11229-012-0233-5","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,5]]}}}