1: \begin{abstract}

2:   Gossip protocols aim at arriving, by means of point-to-point or

3:   group communications, at a situation in which all the agents know

4:   each other secrets.  Recently a number of authors

5:   studied distributed epistemic gossip protocols.  These protocols

6:   use as guards formulas from a simple epistemic logic, which makes

7: their analysis and verification substantially easier.

8: 

9:   We study here common knowledge in the context of such a logic.

10:   First, we analyze when it can be reduced to iterated knowledge. Then

11:   we show that the semantics and truth for formulas without nested

12:   common knowledge operator are decidable. This implies that

13:   implementability, partial correctness and termination of distributed

14:   epistemic gossip protocols that use non-nested common knowledge

15:   operator is decidable, as well.  Given that common knowledge is

16:   equivalent to an infinite conjunction of nested knowledge, these

17:   results are non-trivial generalizations of the corresponding

18:   decidability results for the original epistemic logic, established

19:   in \cite{AW16}.

20: \end{abstract}

21: