1: \begin{abstract}

2:   Epistemic logics typically talk about knowledge of individual agents

3:   or groups of explicitly listed agents. Often, however, one wishes to

4:   express knowledge of groups of agents specified by a given property,

5:   as in \textquote{it is common knowledge among economists}. We

6:   introduce such a logic of common knowledge, which we term

7:   \emph{\ac{CIEL}}. That is, \ac{CIEL} features a common knowledge

8:   operator for groups of agents given by concepts in a separate agent

9:   logic that we keep generic, with one possible agent logic

10:   being~$\ALC$. We show that \ac{CIEL} is \ExpTime-complete, with the

11:   lower bound established by reduction from standard group epistemic

12:   logic, and the upper bound by a satisfiability-preserving embedding

13:   into the full \(\mu\)-calculus. Further main results include a

14:   finite model property (not enjoyed by the full \(\mu\)-calculus) and

15:   a complete axiomatization.

16: \end{abstract}

17: