We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Reasoning about Emergence of Collective Memory

Authors: R. Ramanujam (Institute of Mathematical Sciences, Chennai)
Abstract: 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.
Comments: In Proceedings TARK 2021, arXiv:2106.10886
Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Social and Information Networks (cs.SI)
Journal reference: EPTCS 335, 2021, pp. 269-280
DOI: 10.4204/EPTCS.335.26
Cite as: arXiv:2106.11505 [cs.FL]
  (or arXiv:2106.11505v1 [cs.FL] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 22 Jun 2021 02:47:31 GMT (21kb)

Link back to: arXiv, form interface, contact.