Change in social networks: Some dynamic extensions of Social Epistemic Logic.

We propose dynamic extensions to the framework of Social Epistemic Logic introduced in Logic in the Community (Seligman et al. pp. 178–188, 2011). One of them introduces a notion of a semi-public announcement made by an aware agent and only transmitted to this agent's social connections. Another extension along the epistemic dimension of the framework contains separate 'sending' and 'reading' modalities that allow for a more realistic asynchronous spreading of messages in a social network. Finally, we briefly discuss an extension along the 'social' dimension of the framework, which introduces an operator to break links within an epistemic social network based on information at the agent's disposal. Completeness and decidability results are provided. [ABSTRACT FROM AUTHOR]