We offer a very simple model of how collective memory may form. Agents keep
signalling within neighbourhoods, and depending on how many support each
signal, some signals "win" in that neighbourhood. By agents interacting between
different neighbourhoods, 'influence' spreads and sometimes, a collective
signal emerges. We propose a logic in which we can reason about such emergence
of memory and present preliminary technical results on the logic.Comment: In Proceedings TARK 2021, arXiv:2106.1088