Abstract
In this paper, we develop an epistemic logic for specifying and reasoning about information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modeling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our logic to the standard DEL and IS approaches and demonstrate its use by studying a telephone call communication scenario.
This paper is the full version of an extended abstract with the same title appeared in the proceedings of AAMAS’10.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Apt, K.R., Witzel, A., Zvesper, J.A.: Common knowledge in interaction structures. In: Heifetz, A. (ed.) Proceedings of TARK 2009, pp. 4–13 (2009)
Baltag, A., Moss, L.: Logics for epistemic programs. Synthese 139(2), 165–224 (2004)
Baskar, A., Ramanujam, R., Suresh, S.P.: Knowledge-based modelling of voting protocols. In: Samet, D. (ed.) Proceedings of TARK 2007, pp. 62–71 (2007)
Brzozowski, J.A.: Derivatives of regular expressions. Journal of the ACM 11(4), 481–494 (1964)
Cohen, M., Dam, M.: A complete axiomatization of knowledge and cryptography. In: Ong, L. (ed.) Proceedings of LICS 2007, pp. 77–88. IEEE Computer Society, Los Alamitos (2007)
Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, Boca Raton (1971)
Dehaye, P.O., Ford, D., Segerman, H.: One hundred prisoners and a light bulb. Mathematical Intelligencer 24(4), 53–61 (2003)
Fagin, R., Halpern, J.Y., Vardi, M.Y., Moses, Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information 6(2), 147–169 (1997)
Hoshi, T.: Epistemic Dynamics and Protocol Information. PhD thesis, Stanford University (2009)
Hoshi, T., Yap, A.: Dynamic epistemic logic with branching temporal structures. Synthese 169(2), 259–281 (2009)
Hurkens, C.A.J.: Spreading gossip efficiently. Nieuw Archief voor Wiskunde 5/1(2), 208–210 (2000)
Moses, Y., Dolev, D., Halpern, J.Y.: Cheating husbands and other stories: A case study of knowledge, action, and communication. Distributed Computing 1(3), 167–176 (1986)
Pacuit, E., Parikh, R.: Reasoning about communication graphs. In: van Benthem, J., Gabbay, D., Löwe, B. (eds.) Interactive Logic – Proceedings of the 7th Augustus de Morgan Workshop, Texts in Logic and Games, Amsterdam, pp. 135–157 (2007)
Parikh, R., Ramanujam, R.: Distributed processes and the logic of knowledge. In: Proceedings of the Conference on Logic of Programs, London, UK, pp. 256–268. Springer, Heidelberg (1985)
Parikh, R., Ramanujam, R.: A knowledge based semantics of messages. Journal of Logic, Language and Information 12(4), 453–467 (2003)
Ågotnes, T., Balbiani, P., van Ditmarsch, H., Seban, P.: Group announcement logic. Journal of Applied Logic 8(1), 62–81 (2009)
Ramanujam, R., Suresh, S.P.: Deciding knowledge properties of security protocols. In: Proceedings of TARK 2005, pp. 219–235. Morgan Kaufmann, San Francisco (2005)
Roelofsen, F.: Exploring logical perspectives on distributed information and its dynamics. Master’s thesis, University of Amsterdam (2005)
Shilov, N.V., Garanina, N.O.: Model checking knowledge and fixpoints. In: Ésik, Z., Ingólfsdóttir, A., Ésik, Z., Ingólfsdóttir, A. (eds.) Proceedings of FICS 2002, vol. NS-02-2, pp. 25–39 (2002)
van Benthem, J.: ‘One is a lonely number’: on the logic of communication. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) Proceedings of Logic Colloquium 2002, Wellesley MA, pp. 96–129. ASL & A.K. Peters (2002)
van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. Journal of Philosophical Logic 38(5), 491–526 (2009)
van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)
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. 1738, pp. 432–445. Springer, Heidelberg (1999)
van Ditmarsch, H.: Knowledge Games. PhD thesis, University of Groningen (2000)
Wang, Y.: Epistemic Modelling and Protocol Dynamics. PhD thesis, University of Amsterdam (2010)
Wang, Y., Kuppusamy, L., van Eijck, J.: Verifying epistemic protocols under common knowledge. In: Heifetz, A. (ed.) Proceedings of TARK 2009, pp. 257–266 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, Y., Sietsma, F., van Eijck, J. (2011). Logic of Information Flow on Communication Channels. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds) Declarative Agent Languages and Technologies VIII. DALT 2010. Lecture Notes in Computer Science(), vol 6619. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20715-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-20715-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20714-3
Online ISBN: 978-3-642-20715-0
eBook Packages: Computer ScienceComputer Science (R0)