Common Knowledge of Abstract Groups

Merlin Humml, Lutz Schröder

Epistemic logics typically talk about knowledge of individual agents or groups of explicitly listed agents. Often, however, one wishes to express knowledge of groups of agents spec…