{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:13:55Z","timestamp":1742955235886,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642207143"},{"type":"electronic","value":"9783642207150"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20715-0_8","type":"book-chapter","created":{"date-parts":[[2011,4,8]],"date-time":"2011-04-08T16:35:27Z","timestamp":1302280527000},"page":"130-147","source":"Crossref","is-referenced-by-count":5,"title":["Logic of Information Flow on Communication Channels"],"prefix":"10.1007","author":[{"given":"Yanjing","family":"Wang","sequence":"first","affiliation":[]},{"given":"Floor","family":"Sietsma","sequence":"additional","affiliation":[]},{"given":"Jan","family":"van Eijck","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Witzel, A., Zvesper, J.A.: Common knowledge in interaction structures. In: Heifetz, A. (ed.) Proceedings of TARK 2009, pp. 4\u201313 (2009)","DOI":"10.1145\/1562814.1562820"},{"issue":"2","key":"8_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.: Logics for epistemic programs. Synthese\u00a0139(2), 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Baskar, A., Ramanujam, R., Suresh, S.P.: Knowledge-based modelling of voting protocols. In: Samet, D. (ed.) Proceedings of TARK 2007, pp. 62\u201371 (2007)","DOI":"10.1145\/1324249.1324261"},{"issue":"4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"J.A. Brzozowski","year":"1964","unstructured":"Brzozowski, J.A.: Derivatives of regular expressions. Journal of the ACM\u00a011(4), 481\u2013494 (1964)","journal-title":"Journal of the ACM"},{"key":"8_CR5","first-page":"77","volume-title":"Proceedings of LICS 2007","author":"M. Cohen","year":"2007","unstructured":"Cohen, M., Dam, M.: A complete axiomatization of knowledge and cryptography. In: Ong, L. (ed.) Proceedings of LICS 2007, pp. 77\u201388. IEEE Computer Society, Los Alamitos (2007)"},{"key":"8_CR6","volume-title":"Regular Algebra and Finite Machines","author":"J.H. Conway","year":"1971","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, Boca Raton (1971)"},{"issue":"4","key":"8_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF02984862","volume":"24","author":"P.O. Dehaye","year":"2003","unstructured":"Dehaye, P.O., Ford, D., Segerman, H.: One hundred prisoners and a light bulb. Mathematical Intelligencer\u00a024(4), 53\u201361 (2003)","journal-title":"Mathematical Intelligencer"},{"key":"8_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.Y., Vardi, M.Y., Moses, Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J. Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information\u00a06(2), 147\u2013169 (1997)","journal-title":"Journal of Logic, Language and Information"},{"key":"8_CR10","unstructured":"Hoshi, T.: Epistemic Dynamics and Protocol Information. PhD thesis, Stanford University (2009)"},{"issue":"2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11229-009-9552-6","volume":"169","author":"T. Hoshi","year":"2009","unstructured":"Hoshi, T., Yap, A.: Dynamic epistemic logic with branching temporal structures. Synthese\u00a0169(2), 259\u2013281 (2009)","journal-title":"Synthese"},{"issue":"2","key":"8_CR12","first-page":"208","volume":"5\/1","author":"C.A.J. Hurkens","year":"2000","unstructured":"Hurkens, C.A.J.: Spreading gossip efficiently. Nieuw Archief voor Wiskunde\u00a05\/1(2), 208\u2013210 (2000)","journal-title":"Nieuw Archief voor Wiskunde"},{"issue":"3","key":"8_CR13","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF01661170","volume":"1","author":"Y. Moses","year":"1986","unstructured":"Moses, Y., Dolev, D., Halpern, J.Y.: Cheating husbands and other stories: A case study of knowledge, action, and communication. Distributed Computing\u00a01(3), 167\u2013176 (1986)","journal-title":"Distributed Computing"},{"key":"8_CR14","unstructured":"Pacuit, E., Parikh, R.: Reasoning about communication graphs. In: van Benthem, J., Gabbay, D., L\u00f6we, B. (eds.) Interactive Logic \u2013 Proceedings of the 7th Augustus de Morgan Workshop, Texts in Logic and Games, Amsterdam, pp. 135\u2013157 (2007)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/3-540-15648-8_21","volume-title":"Proceedings of the Conference on Logic of Programs","author":"R. Parikh","year":"1985","unstructured":"Parikh, R., Ramanujam, R.: Distributed processes and the logic of knowledge. In: Proceedings of the Conference on Logic of Programs, London, UK, pp. 256\u2013268. Springer, Heidelberg (1985)"},{"issue":"4","key":"8_CR16","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R. Parikh","year":"2003","unstructured":"Parikh, R., Ramanujam, R.: A knowledge based semantics of messages. Journal of Logic, Language and Information\u00a012(4), 453\u2013467 (2003)","journal-title":"Journal of Logic, Language and Information"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.jal.2008.12.002","volume":"8","author":"T. \u00c5gotnes","year":"2009","unstructured":"\u00c5gotnes, T., Balbiani, P., van Ditmarsch, H., Seban, P.: Group announcement logic. Journal of Applied Logic\u00a08(1), 62\u201381 (2009)","journal-title":"Journal of Applied Logic"},{"key":"8_CR18","first-page":"219","volume-title":"Proceedings of TARK 2005","author":"R. Ramanujam","year":"2005","unstructured":"Ramanujam, R., Suresh, S.P.: Deciding knowledge properties of security protocols. In: Proceedings of TARK 2005, pp. 219\u2013235. Morgan Kaufmann, San Francisco (2005)"},{"key":"8_CR19","unstructured":"Roelofsen, F.: Exploring logical perspectives on distributed information and its dynamics. Master\u2019s thesis, University of Amsterdam (2005)"},{"key":"8_CR20","unstructured":"Shilov, N.V., Garanina, N.O.: Model checking knowledge and fixpoints. In: \u00c9sik, Z., Ing\u00f3lfsd\u00f3ttir, A., \u00c9sik, Z., Ing\u00f3lfsd\u00f3ttir, A. (eds.) Proceedings of FICS 2002, vol.\u00a0NS-02-2, pp. 25\u201339 (2002)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: \u2018One is a lonely number\u2019: on the logic of communication. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) Proceedings of Logic Colloquium 2002, Wellesley MA, pp. 96\u2013129. ASL & A.K. Peters (2002)","DOI":"10.1017\/9781316755723.006"},{"issue":"5","key":"8_CR22","doi-asserted-by":"publisher","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.: Merging frameworks for interaction. Journal of Philosophical Logic\u00a038(5), 491\u2013526 (2009)","journal-title":"Journal of Philosophical Logic"},{"issue":"11","key":"8_CR23","doi-asserted-by":"publisher","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.: Logics of communication and change. Information and Computation\u00a0204(11), 1620\u20131662 (2006)","journal-title":"Information and Computation"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/3-540-46691-6_35","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"R. Meyden van der","year":"1999","unstructured":"van der Meyden, R., Shilov, N.: Model checking knowledge and time in systems with perfect recall. In: Pandu Rangan, C., Raman, V., Sarukkai, S. (eds.) FST TCS 1999. LNCS, vol.\u00a01738, pp. 432\u2013445. Springer, Heidelberg (1999)"},{"key":"8_CR25","unstructured":"van Ditmarsch, H.: Knowledge Games. PhD thesis, University of Groningen (2000)"},{"key":"8_CR26","unstructured":"Wang, Y.: Epistemic Modelling and Protocol Dynamics. PhD thesis, University of Amsterdam (2010)"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Wang, Y., Kuppusamy, L., van Eijck, J.: Verifying epistemic protocols under common knowledge. In: Heifetz, A. (ed.) Proceedings of TARK 2009, pp. 257\u2013266 (2009)","DOI":"10.1145\/1562814.1562848"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20715-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T23:31:57Z","timestamp":1741131117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20715-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642207143","9783642207150"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20715-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}