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 of agents is informed of some piece of information , while all the other agents observe that group 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, ) 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. |
Year | DOI | Venue |
---|---|---|
2018 | https://doi.org/10.1007/s11225-017-9750-z | Studia Logica |
Keywords | Field | DocType |
Topological semantics,Subset space logic,Dynamic epistemic logic,Private announcements,Observation | Discrete mathematics,Logic of knowledge,Topological space,Theoretical computer science,Dynamic epistemic logic,Artificial intelligence,Mathematics | Journal |
Volume | Issue | ISSN |
106 | 3 | 0039-3215 |
Citations | PageRank | References |
0 | 0.34 | 11 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hans P. van Ditmarsch | 1 | 656 | 79.59 |
Sophia Knight | 2 | 32 | 4.49 |
Aybüke Özgün | 3 | 17 | 4.06 |