Abstract
In this work, we present a multi-agent logic of knowledge and change of knowledge interpreted on topological structures. Our dynamics are of the so-called semi-private character where a group G of agents is informed of some piece of information \(\varphi \), while all the other agents observe that group G is informed, but are uncertain whether the information provided is \(\varphi \) or \(\lnot \varphi \). This article follows up on our prior work (van Ditmarsch et al. in Proceedings of the 15th TARK. pp 95-102, 2015) where the dynamics were public events. We provide a complete axiomatization of our logic, and give two detailed examples of situations with agents learning information through semi-private announcements.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Balbiani, P., H. van Ditmarsch, and A. Kudinov, Subset space logic with arbitrary announcements, in Proceedings of the 5th ICLA, Springer, 2013, pp. 233–244.
Baltag, A., N. Bezhanishvili, A. Özgün, and S. Smets, The topology of belief, belief Revision and defeasible knowledge, in Proceedings of the 4th LORI, 2013, pp. 27–40.
Baltag, A., N. Bezhanishvili, A. Özgün, and S. Smets, The topological theory of belief, in ILLC report PP-2015-18. Available at http://www.illc.uva.nl/Research/Publications/Reports/PP-2015-18.text.pdf, 2015.
Baltag, A., N. Bezhanishvili, A. Özgün, and S. Smets, The topology of full and weak belief, in Proceedings of the 11th TbiLLC, Revised Selected Papers, Springer, 2015, pp. 205–228.
Baltag, A., N. Bezhanishvili, A. Özgün, and S. Smets, Justified belief and the topology of evidence, in Proceedings of WOLLIC 2016, 2016, pp. 83–103.
Baltag, A., L. Moss, and S. Solecki, The logic of public announcements, common knowledge, and private suspicions, in Proceedings of 7th TARK, Morgan Kaufmann, 1998, pp. 43–56.
Baltag, A., A. Özgün, and A. L. Vargas-Sandoval, Topo-logic as a dynamic-epistemic logic, in Proceedings of the 6th LORI 2017, to appear, 2017.
Baltag, A. and S. Smets, A qualitative theory of dynamic interactive belief revision. Logic and the Foundations of Game and Decision Theory (LOFT7) 3:11–58, 2008.
Baltag, A., H. P. van Ditmarsch, and L. S. Moss, Epistemic logic and information update. in Handbook of Philosophy of Sciences, vol. 8, Elsevier Science Publishers, 2008, pp. 361–455.
Baskent, C., Topics in subset space logic, Master’s thesis, ILLC, University of Amsterdam, 2007.
Baskent, C., Public announcement logic in geometric frameworks, Fundamenta Informaticae 118:207–223, 2012.
Bjorndahl, A., Topological subset space models for public announcements. in Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Outstanding Contributions to Logic, 12, to appear. Available online at arXiv:1302.4009, 2017.
Dugundji, J., Topology, Allyn and Bacon Series in Advanced Mathematics, Prentice Hall, 1965.
Engelking, R., General topology, Sigma Series in Pure Mathematics, Berlin: Heldermann, revised and completed edn, 1989.
French, T., J. Hales, and E. Tay, A composable language for action models, in R. Goré, B. Kooi, and A. Kurucz (eds.), Advances in Modal Logic 10, College Publications, 2014, pp. 197–216.
Gerbrandy, J., Bisimulations on planet kripke, Ph.D. thesis, University of Amsterdam, ILLC Dissertation Series DS-1999-01, 1999.
Heinemann, B., Topology and knowledge of multiple agents. in Proceedings of the 11th IBERAMIA, Springer, 2008, pp. 1–10.
Heinemann, B., Logics for multi-subset spaces. Journal of Applied Non-Classical Logics 20:219–240, 2010.
Hintikka, J., Knowledge and belief. Cornell University Press, Ithaca, NY, 1962.
Kelly, K. T., The logic of reliable inquiry, Oxford University Press, 1996.
Kooi, B., Dynamic epistemic logic, in J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language, 2nd edn, Elsevier, 2011, pp. 671–690.
Lenzen, W., Recent work in epistemic logic, vol. 30. Acta Philosophica Fennica, North Holland, 1978.
Ma, M., and K. Sano, How to update neighbourhood models. Journal of Logic and Computation, doi:10.1093/logcom/exv026, 2015.
Moss, L. S., and R. Parikh, Topological reasoning and the logic of knowledge, in Proceedings of the 4th TARK, Morgan Kaufmann, 1992, pp. 95–105.
Stalnaker, R., On logics of knowledge and belief. Philosophical Studies 128:169–199, 2006.
van Benthem, J., Logical dynamics of information and interaction. Cambridge University Press, New York, NY, 2011.
van der Hoek, W., Systems for knowledge and beliefs, in J. van Eijck (ed.), Logics in AI, vol. 478 of LNCS, Springer, Berlin, 1991, pp. 267–281.
van Ditmarsch, H., Knowledge games. Ph.D. thesis, University of Groningen, ILLC Dissertation Series DS-2000-06, 2000.
van Ditmarsch, H., J. Halpern, W. van der Hoek, and B. Kooi, Handbook of epistemic logic. College Publications, 2015.
van Ditmarsch, H., S. Knight, and A. Özgün, Arbitrary announcements on topological subset spaces, in Proceedings of the 12th EUMAS, Springer, 2014, pp. 252–266.
van Ditmarsch, H., S. Knight, and A. Özgün, Announcement as effort on topological spaces, in Proceedings of the 15th TARK, 2015, pp. 95–102.
van Ditmarsch, H., W. van der Hoek, and B. Kooi, Dynamic epistemic logic, vol. 337 of synthese library, Springer, 2007.
Vickers, S., Topology via logic. Cambridge Tracts in Theoretical Computer Science, University Press, 1989.
Wang, Y., and Q. Cao, On axiomatizations of public announcement logic, Synthese 190:103–134, 2013.
Wáng, Y. N., and T. Ågotnes, Multi-agent subset space logic, in Proceedings of the 23rd IJCAI, IJCAI/AAAI, 2013, pp. 1155–1161.
Wáng, Y. N., and T. Ågotnes, Subset space public announcement logic, in Proceedings of the 5th ICLA, Springer, 2013, pp. 245–257.
Zvesper, J., Playing with information. Ph.D. thesis, ILLC, University of Amsterdam, 2010.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Heinrich Wansing
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
van Ditmarsch, H., Knight, S. & Özgün, A. Private Announcements on Topological Spaces. Stud Logica 106, 481–513 (2018). https://doi.org/10.1007/s11225-017-9750-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-017-9750-z