In this paper we study the notion of group knowledge in a modal epistemic context. Starting with the standard definition of this kind of knowledge on Kripke models, we show that this definition gives rise to some quite counter-intuitive behaviour. Firstly, using a strong notion of derivability, we show that group knowledge in a state can always, but trivially be derived from each of the agents' individual knowledge. In that sense, group knowledge is not really implicit , but rather explicit knowledge of the group. Thus, a weaker notion of derivability seems to be more adequate. However, adopting this more `local view', we argue that group knowledge need not be distributed over (the members of) the group: we give an example in which (the traditional concept of) group knowledge is stronger than what can be derived from the individual agents' knowledge. We then propose two additional properties on Kripke models: we show that together they are sufficient to guarantee `distributivity', whi..
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.