 It is at this point that multi-agent epistemic logic raises new questions regarding the information in a group. “Everybody in \(G\) possesses the hard information that \(\phi\)” (where \(G\) is any group of agents from a finite set of agents \(G*)\) written as \(E_G\phi . E_G\) is defined for each \(G \subseteq G^*\) in the following manner: 