- Private Announcements on Topological Spaces
- Studia Logica
- Volume | Issue number
- 106 | 3
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
Faculty of Humanities (FGw)
- Institute for Logic, Language and Computation (ILLC)
Amsterdam Institute for Humanities Research (AIHR)
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 φ, while all the other agents observe that group G is informed, but are uncertain whether the information provided is φ or ¬φ. 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.
- go to publisher's site
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.