{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T00:39:06Z","timestamp":1783384746608,"version":"3.54.6"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2009,1,16]],"date-time":"2009-01-16T00:00:00Z","timestamp":1232064000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1007\/s10992-008-9099-x","type":"journal-article","created":{"date-parts":[[2009,1,15]],"date-time":"2009-01-15T10:05:48Z","timestamp":1232013948000},"page":"491-526","source":"Crossref","is-referenced-by-count":129,"title":["Merging Frameworks for Interaction"],"prefix":"10.1007","volume":"38","author":[{"given":"Johan","family":"van Benthem","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jelle","family":"Gerbrandy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tomohiro","family":"Hoshi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Pacuit","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2009,1,16]]},"reference":[{"issue":"2","key":"9099_CR1","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S., & Jagadeesan, R. (1994). Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic, 59(2), 543\u2013574.","journal-title":"Journal of Symbolic Logic"},{"key":"9099_CR2","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., & de\u00a0Lima, T. (2007). What can we achieve by arbitrary announcements? In: D. Samet (Ed.), Proceedings of TARK 2007 (pp. 42\u201351). Presses Universitaires de Louvain.","DOI":"10.1145\/1324249.1324259"},{"key":"9099_CR3","unstructured":"Baltag, A. (2008). Merging doxastic preferences by public communication. Slides of GLLC 15 talk."},{"key":"9099_CR4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"2","author":"A. Baltag","year":"2004","unstructured":"Baltag, A., & Moss, L. (2004). Logics for epistemic programs. Synthese: Knowledge, Rationality, and Action, 2, 165\u2013224.","journal-title":"Synthese: Knowledge, Rationality, and Action"},{"key":"9099_CR5","unstructured":"Baltag, A., Moss, L., & Solecki, S. (1998). The logic of common knowledge, public announcements and private suspicions. In I. Gilboa (Ed.), Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98), (pp. 43\u201356)."},{"key":"9099_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the future","author":"N. Belnap","year":"2001","unstructured":"Belnap, N., Perloff, M., & Xu, M. (2001). Facing the future. Oxford: Oxford University Press."},{"key":"9099_CR7","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1111\/1467-8586.00133","volume":"53","author":"J. Benthem van","year":"2001","unstructured":"van Benthem, J. (2001). Games in dynamic epistemic logic. Bulletin of Economic Research, 53, 216\u2013248.","journal-title":"Bulletin of Economic Research"},{"key":"9099_CR8","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/s11225-006-8301-9","volume":"83","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J. (2006). Modal frame correspondences and fixed-points. Studia Logica, 83, 133\u2013155.","journal-title":"Studia Logica"},{"key":"9099_CR9","first-page":"96","volume-title":"Logic colloquium \u201902. Lecture Notes in Logic, (Vol. 27)","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J. (2006). One is a lonely number: on the logic of communication. In Z. Chatzidakis, P. Koepke, & W. Pohlers (Eds.), Logic colloquium \u201902. Lecture Notes in Logic, (Vol. 27, pp. 96\u2013129). Cergy-Pontoise: ASL & A.K. Peters."},{"issue":"2","key":"9099_CR10","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":"9099_CR11","unstructured":"van Benthem, J., & Degremont, C. (2008). Building between dynamic and temporal doxastic logics. Tech. Rep. PP-2008-34, ILLC, University of Amsterdam."},{"issue":"11","key":"9099_CR12","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":"9099_CR13","unstructured":"van Benthem, J., Gerbrandy, J., Hoshi, T., & Pacuit, E. (2008). Merging frameworks for interaction. Tech. rep., ILLC Prepublications."},{"key":"9099_CR14","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Gerbrandy, J., & Pacuit, E. (2007). Merging frameworks for interaction: DEL and ETL. In: D. Samet (Ed.), Proceedings of TARK 2007 (pp. 72\u201381).","DOI":"10.1145\/1324249.1324262"},{"issue":"2","key":"9099_CR15","doi-asserted-by":"crossref","first-page":"163","DOI":"10.4000\/philosophiascientiae.571","volume":"8","author":"J. Benthem van","year":"2004","unstructured":"van Benthem, J., & Liu, F. (2004). Diversity of logical agents in games. Philosophia Scientiae, 8(2), 163\u2013178.","journal-title":"Philosophia Scientiae"},{"key":"9099_CR16","volume-title":"Handbook of the philosophy of information","author":"J. Benthem van","year":"2008","unstructured":"van Benthem, J., & Martinez, M. (2008). The stories of logic and information. In P. Adriaans, J. van Benthem (Eds.), Handbook of the philosophy of information. Amsterdam: Elsevier."},{"key":"9099_CR17","first-page":"87","volume-title":"Proceedings of advances in modal logic (Vol. 6)","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J., & Pacuit, E. (2006). The tree of knowledge in action: Towards a common perspective. In G. Governatori, I. Hodkinson, & Y. Venema (Eds.), Proceedings of advances in modal logic (Vol. 6, pp. 87\u2013106). Edmonton: King\u2019s College."},{"key":"9099_CR18","volume-title":"Modal logic","author":"P. Blackburn","year":"2002","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2002). Modal logic. Cambridge: Cambridge University Press."},{"key":"9099_CR19","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/j.geb.2003.06.002","volume":"47","author":"G. Bonanno","year":"2004","unstructured":"Bonanno, G. (2004). Memory and perfect recall in extensive games. Games and Economic Behaviour, 47, 237\u2013256.","journal-title":"Games and Economic Behaviour"},{"key":"9099_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic. Synthese Library","author":"H. Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van\u00a0der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic. Synthese Library. New York: Springer."},{"key":"9099_CR21","volume-title":"PDL as a logic of belief revision","author":"J. Eijck van","year":"2008","unstructured":"van Eijck, J., & Wang, Y. (2008). PDL as a logic of belief revision. Amsterdam: CWI."},{"key":"9099_CR22","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. Boston: MIT."},{"key":"9099_CR23","unstructured":"Gerbrandy, J. (1999). Bisimulations on planet kripke. Ph.D. thesis, Institute for Logic, Language and Computation (DS-1999-01)."},{"key":"9099_CR24","first-page":"67","volume-title":"Logic, language and computation (Vol.\u00a02)","author":"J. Gerbrandy","year":"1999","unstructured":"Gerbrandy, J. (1999). Dynamic epistemic logic. In L.S. Moss, J. Ginzburg, & M. de\u00a0Rijke (Eds.), Logic, language and computation (Vol.\u00a02, pp. 67\u201384). Stanford: CSLI."},{"key":"9099_CR25","unstructured":"Gerbrandy, J. (2007) Convergence failures in public announcement scenarios. Working paper, Department of Informatics, University of Torino"},{"issue":"2","key":"9099_CR26","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"J. Halpern","year":"2004","unstructured":"Halpern, J., van\u00a0der Meyden, R., & Vardi, M. (2004). Complete axiomatizations for reasoning about knowledge and time. SIAM Journal of Computing, 33(2), 674\u2013703.","journal-title":"SIAM Journal of Computing"},{"key":"9099_CR27","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J. Halpern","year":"1989","unstructured":"Halpern, J., & Vardi, M. (1989). The complexity of reasoning about knowledge and time. Journal of Computer and System Sciences, 38, 195\u2013237.","journal-title":"Journal of Computer and System Sciences"},{"key":"9099_CR28","first-page":"655","volume-title":"Handbook of modal logic. Studies in logic (Vol. 3)","author":"I. Hodkinson","year":"2006","unstructured":"Hodkinson, I., & Reynolds, M. (2006). Temporal logic. In P. Blackburn, J. van Benthem, & F. Wolter (Eds.), Handbook of modal logic. Studies in logic (Vol. 3, pp. 655\u2013270). Amsterdam: Elsevier."},{"key":"9099_CR29","unstructured":"Hoshi, T. (2007). Logics of public announcements with constrained protocols. Philosophy Department, Stanford University."},{"key":"9099_CR30","unstructured":"Hoshi, T. (forthcoming). Epistemic dynamism and protocol information. Ph.D. thesis, Stanford University."},{"key":"9099_CR31","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091953.001.0001","volume-title":"The logic of reliable inquiry","author":"K. Kelly","year":"1996","unstructured":"Kelly, K. (1996). The logic of reliable inquiry. Oxford: Oxford University Press."},{"key":"9099_CR32","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/s11245-006-9000-x","volume":"26","author":"E. Lorini","year":"2007","unstructured":"Lorini, E., & Castelfranchi, C. (2007). The cognitive structure of surprise: Looking for basic principles. Topoi, 26, 133\u2014149.","journal-title":"Topoi"},{"key":"9099_CR33","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/1160633.1160657","volume-title":"Proceedings of the 5th international joint conference on autonomous agents and multiagent systems (AAMAS\u201906)","author":"C. Lutz","year":"2006","unstructured":"Lutz, C. (2006). Complexity and succinctness of public announcement logic. In P. Stone, & G. Weiss (Eds.), Proceedings of the 5th international joint conference on autonomous agents and multiagent systems (AAMAS\u201906) (pp. 137\u2013144). New York: Association for Computing Machinery (ACM)."},{"issue":"3","key":"9099_CR34","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"},{"issue":"4","key":"9099_CR35","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1016\/j.jal.2006.03.012","volume":"5","author":"E. Pacuit","year":"2007","unstructured":"Pacuit, E. (2007). Some comments on history based structures. Journal of Applied Logic, 5(4), 613\u2013624.","journal-title":"Journal of Applied Logic"},{"key":"9099_CR36","volume-title":"Interactive logic, proceedings of the 7th Augustus de Morgan workshop","author":"E. Pacuit","year":"2007","unstructured":"Pacuit, E., & Parikh, R. (2007). Reasoning about communication graphs. In J. van Benthem, D. Gabbay, & B. L\u00f6we (Eds.), Interactive logic, proceedings of the 7th Augustus de Morgan workshop. Edmonton: King\u2019s College."},{"key":"9099_CR37","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R. Parikh","year":"2003","unstructured":"Parikh, R., & Ramanujam, R. (2003). A knowledge based semantics of messages. Journal of Logic, Language and Information, 12, 453\u2013467.","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"9099_CR38","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J. Plaza","year":"2007","unstructured":"Plaza, J. (2007). Logics of public communications. Synthese: Knowledge, Rationality, and Action, 158(2), 165\u2013179.","journal-title":"Synthese: Knowledge, Rationality, and Action"},{"issue":"2","key":"9099_CR39","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 language for epistemic programs. Journal of Logic, Language and Information, 17(2), 183\u2013216.","journal-title":"Journal of Logic, Language and Information"},{"key":"9099_CR40","unstructured":"Yap, A. (2006). Product update and looking backward. Tech. rep., ILLC Prepublciations (PP-2006-39)."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-008-9099-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-008-9099-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-008-9099-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T00:02:10Z","timestamp":1738886530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-008-9099-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,16]]},"references-count":40,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2009,10]]}},"alternative-id":["9099"],"URL":"https:\/\/doi.org\/10.1007\/s10992-008-9099-x","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1,16]]}}}