{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T20:40:30Z","timestamp":1740429630005,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642151637"},{"type":"electronic","value":"9783642151644"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15164-4_6","type":"book-chapter","created":{"date-parts":[[2010,8,19]],"date-time":"2010-08-19T06:24:48Z","timestamp":1282199088000},"page":"112-134","source":"Crossref","is-referenced-by-count":0,"title":["A Runs-and-Systems Semantics for Logics of Announcements"],"prefix":"10.1007","author":[{"given":"Riccardo","family":"Pucella","sequence":"first","affiliation":[]},{"given":"Mehrnoosh","family":"Sadrzadeh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1093\/logcom\/exm015","volume":"17","author":"A. Baltag","year":"2007","unstructured":"Baltag, A., Coecke, B., Sadrzadeh, M.: Epistemic a Actions as Resources. J. Log. Comput.\u00a017(3), 555\u2013585 (2007)","journal-title":"J. Log. Comput."},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A. Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.S.: Logics for Epistemic Programs. Synthese\u00a0139, 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"6_CR3","unstructured":"van Benthem, J.: One is a Lonely Number. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) LC 2002. Lecture Notes in Logic, vol.\u00a027, pp. 96\u2013129. AK Peters, Wellesley (2006)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1324249.1324262","volume-title":"TARK 2007","author":"J. Benthem van","year":"2007","unstructured":"van Benthem, J., Gerbrandy, J., Pacuit, E.: Merging Frameworks for Interaction: DEL and ETL. In: Samet, D. (ed.) TARK 2007, pp. 72\u201381. ACM Press, New York (2007)"},{"issue":"1","key":"6_CR5","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. ACM Trans. Comput. Syst.\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Trans. Comput. Syst."},{"key":"6_CR6","series-title":"Synthese Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol.\u00a0337. Springer, Heidelberg (2007)"},{"key":"6_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.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"6_CR8","unstructured":"Gerbrandy, J.: Dynamic Epistemic Logic. In: Moss, L.S., Ginzburg, J., de Rijke, M. (eds.) Logic, Language, and Information, vol.\u00a02, pp. 67\u201384. CSLI Publication, Stanford (1999)"},{"key":"6_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"6_CR10","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-47833-7","volume-title":"Coordination Models and Languages","author":"W. Hoek van der","year":"2002","unstructured":"van der Hoek, W., Wooldridge, M.: Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, p. 4. Springer, Heidelberg (2002)"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: A Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi. Z. Math. Log. Grundl. Math.\u00a09, 67\u201396 (1963)","journal-title":"Z. Math. Log. Grundl. Math."},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-15648-8_16","volume-title":"Logics of Programs","author":"O. Lichtenstein","year":"1985","unstructured":"Lichtenstein, O., Pnueli, A., Zuck, L.: The Glory of the Past. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol.\u00a0193, pp. 196\u2013218. Springer, Heidelberg (1985)"},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1026181001368","volume":"75","author":"R. Meyden van der","year":"2003","unstructured":"van der Meyden, R., Wong, K.: Complete Axiomatizations for Reasoning about Knowledge and Branching Time. Stud. Log.\u00a075(1), 93\u2013123 (2003)","journal-title":"Stud. Log."},{"key":"6_CR15","unstructured":"Moore, G.E.: A Reply to my Critics. In: Schilpp, P.A. (ed.) The Philosophy of G. E. Moore. The Library of Living Philosophers, vol.\u00a04, pp. 535\u2013677. Northwestern University (1942)"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF02252679","volume":"6","author":"P. Panangaden","year":"1992","unstructured":"Panangaden, P., Taylor, K.: Concurrent Common Knowledge. Distributed Comp.\u00a06, 73\u201393 (1992)","journal-title":"Distributed Comp."},{"issue":"4","key":"6_CR17","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R. Parikh","year":"2003","unstructured":"Parikh, R., Ramanujan, R.: A Knowledge Based Semantics of Messages. J. Log. Lang. Inf.\u00a012(4), 453\u2013467 (2003)","journal-title":"J. Log. Lang. Inf."},{"issue":"2","key":"6_CR18","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10849-007-9054-1","volume":"17","author":"J. Sack","year":"2008","unstructured":"Sack, J.: Temporal Languages for Epistemic Programs. J. Log. Lang. Inf.\u00a017(2), 183\u2013216 (2008)","journal-title":"J. Log. Lang. Inf."},{"key":"6_CR19","unstructured":"Yap, A.: Product Update and Looking Backwards. ILLC Publications PP-2006-39, Universiteit van Amsterdam (2006)"}],"container-title":["Lecture Notes in Computer Science","Logic and the Foundations of Game and Decision Theory \u2013 LOFT 8"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15164-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T20:02:19Z","timestamp":1740427339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15164-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642151637","9783642151644"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15164-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}