{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:43:21Z","timestamp":1762101801982},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,12,18]],"date-time":"2015-12-18T00:00:00Z","timestamp":1450396800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s10849-015-9234-3","type":"journal-article","created":{"date-parts":[[2015,12,18]],"date-time":"2015-12-18T05:19:49Z","timestamp":1450415989000},"page":"1-35","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Announcements to Attentive Agents"],"prefix":"10.1007","volume":"25","author":[{"given":"Thomas","family":"Bolander","sequence":"first","affiliation":[]},{"given":"Hans","family":"van Ditmarsch","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[]},{"given":"Emiliano","family":"Lorini","sequence":"additional","affiliation":[]},{"given":"Pere","family":"Pardo","sequence":"additional","affiliation":[]},{"given":"Fran\u00e7ois","family":"Schwarzentruber","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,18]]},"reference":[{"key":"9234_CR1","doi-asserted-by":"crossref","unstructured":"Aucher, G. (2009). BMS revisited. In Proceedings of 12th TARK (pp. 24\u201333).","DOI":"10.1145\/1562814.1562822"},{"key":"9234_CR2","unstructured":"Aucher, G., & Schwarzentruber, F. (2013). On the complexity of dynamic epistemic logic. In Proceedings of 14th TARK."},{"issue":"1","key":"9234_CR3","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1093\/logcom\/exn060","volume":"20","author":"P Balbiani","year":"2010","unstructured":"Balbiani, P., van Ditmarsch, H., Herzig, A., & de Lima, T. (2010). Tableaux for public announcement logics. Journal of Logic and Computation, 20(1), 55\u201376.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"9234_CR4","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1093\/jigpal\/jzs052","volume":"21","author":"P Balbiani","year":"2012","unstructured":"Balbiani, P., Gasquet, O., & Schwarzentruber, F. (2012). Agents that look at one another. Logic Journal of IGPL, 21(3), 438\u2013467.","journal-title":"Logic Journal of IGPL"},{"key":"9234_CR5","unstructured":"Baltag, A., Moss, L.S., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In Proceedings of 7th TARK (pp. 43\u201356). Morgan Kaufmann."},{"key":"9234_CR6","unstructured":"Bolander, T. (2014). Seeing is believing: Formalising false-belief tasks in dynamic epistemic logic. In A. Herzig, & E. Lorini, (Eds.), Proceedings of the European Conference on Social Intelligence (pp. 87\u2013107), CEUR Workshop Proceedings No. 0074\u20131283-4."},{"key":"9234_CR7","unstructured":"Clark, H. H., & Marshall, C. R. (1981). Definite reference and mutual knowledge. In A. Joshi, B. Webber, & I Sag (Eds.), Elements of discourse understanding (pp. 10\u201363). Cambridge University Press."},{"key":"9234_CR8","first-page":"197","volume-title":"Advances in modal logic 10","author":"T French","year":"2014","unstructured":"French, T., Hales, J., & Tay, E. (2014). A composable language for action models. In R. Gor\u00e9, B. P. Kooi, & A. Kurucz (Eds.), Advances in modal logic 10 (pp. 197\u2013216). London: College Publications."},{"key":"9234_CR9","unstructured":"Gerbrandy, J. D. (1999). Bisimulations on planet kripke. PhD thesis, University of Amsterdam. ILLC Dissertation Series DS-1999\u201301."},{"key":"9234_CR10","unstructured":"Guiraud, N., Herzig, A., & Lorini, E. (2009). Speech acts as announcements. In Logic and the simulation of interaction and reasoning (p. 13)."},{"key":"9234_CR11","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"JY Halpern","year":"1992","unstructured":"Halpern, J. Y., & Moses, Y. (1992). A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54, 319\u2013379.","journal-title":"Artificial Intelligence"},{"key":"9234_CR12","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/j.jet.2005.02.007","volume":"130","author":"A Heifetz","year":"2006","unstructured":"Heifetz, A., Meier, M., & Schipper, B. C. (2006). Interactive unawareness. Journal of Economic Theory, 130, 78\u201394.","journal-title":"Journal of Economic Theory"},{"key":"9234_CR13","volume-title":"Epistemology, context and formalism","author":"A Herzig","year":"2013","unstructured":"Herzig, A., & Lorini, E. (2013). A modal logic of perceptual belief, Synthese Library. In F. Lihoreau & M. Rebuschi (Eds.), Epistemology, context and formalism. Berlin: Springer."},{"issue":"2","key":"9234_CR14","doi-asserted-by":"crossref","first-page":"231","DOI":"10.3166\/jancl.17.231-253","volume":"17","author":"B Kooi","year":"2007","unstructured":"Kooi, B. (2007). Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non-Classical Logics, 17(2), 231\u2013254.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9234_CR15","doi-asserted-by":"crossref","unstructured":"Kooi, B., & Renne, B. (2011). Generalized arrow update logic. In Proceedings of 13th TARK (pp. 205\u2013211). Poster presentation.","DOI":"10.1145\/2000378.2000403"},{"key":"9234_CR16","unstructured":"Lorini, E., Tummolini, L., & Herzig, A. (2005). Establishing mutual beliefs by joint attention: Towards a formal model of public events. In Proceedings of Cognitive Science, (pp. 1325\u20131330). Lawrence Erlbaum Associates."},{"key":"9234_CR17","doi-asserted-by":"crossref","unstructured":"Lutz, C. (2006). Complexity and succinctness of public announcement logic. In Proceedings of the 5th AAMAS (pp. 137\u2013144).","DOI":"10.1145\/1160633.1160657"},{"key":"9234_CR18","unstructured":"Plaza, J. A. (1989) Logics of public communications. In Proceedings of the 4th ISMIS (pp. 201\u2013216). Oak Ridge National Laboratory."},{"key":"9234_CR19","first-page":"103","volume-title":"Joint attention: Its origins and role in development","author":"M Tommasello","year":"1995","unstructured":"Tommasello, M. (1995). Joint attention as social cognition. In C. Moore & P. Dunham (Eds.), Joint attention: Its origins and role in development (pp. 103\u2013130). Mahwah: Lawrence Erlbaum Associates."},{"issue":"11","key":"9234_CR20","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":"9234_CR21","unstructured":"van Ditmarsch, H. (2000). Knowledge games. PhD thesis, University of Groningen. ILLC Dissertation Series DS-2000-06."},{"key":"9234_CR22","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., Herzig, A., Lorini, E., & Schwarzentruber, F. (2013). Listen to me! public announcements to agents that pay attention\u2014or not. In Proceedings of 4th LORI, (pp. 96\u2013109). Springer. LNCS 8196.","DOI":"10.1007\/978-3-642-40948-6_8"},{"key":"9234_CR23","first-page":"45","volume-title":"Knowledge contributors","author":"H Ditmarsch van","year":"2003","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2003). Concurrent dynamic epistemic logic. In V. F. Hendricks, K. F. J\u00f8rgensen, & S. A. Pedersen (Eds.), Knowledge contributors (Vol. 322, pp. 45\u201382). Dordrecht: Kluwer Academic Publishers."},{"key":"9234_CR24","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van\u00a0der Hoek, W., & Kooi, B. (2005). Dynamic epistemic logic with assignment. In Proceedings of 4th AAMAS (pp. 141\u2013148). ACM.","DOI":"10.1145\/1082473.1082495"},{"key":"9234_CR25","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). it Dynamic epistemic logic, vol 337 of synthese library. Springer, Berlin."},{"key":"9234_CR26","doi-asserted-by":"crossref","unstructured":"van Eijck, J. (2012). Perception and change in update logic. In J. van Eijck & R. Verbrugge (Eds.), Games, Actions and Social Software. Lecture Notes in Computer Science (Vol. 7010, pp.119\u2013140). Berlin: Springer.","DOI":"10.1007\/978-3-642-29326-9_7"},{"issue":"1 supp.","key":"9234_CR27","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s11229-012-0233-5","volume":"190","author":"Y Wang","year":"2013","unstructured":"Wang, Y., & Cao, Q. (2013). On axiomatizations of public announcement logic. Synthese, 190(1 supp.), 103\u2013134.","journal-title":"Synthese"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-015-9234-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-015-9234-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-015-9234-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:31:05Z","timestamp":1559269865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-015-9234-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,18]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["9234"],"URL":"https:\/\/doi.org\/10.1007\/s10849-015-9234-3","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,18]]}}}