First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.

Francesco Belardinelli Alessio Lomuscio First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. 140-154 2009 WoLLIC http://dx.doi.org/10.1007/978-3-642-02261-6_12 conf/wollic/2009 db/conf/wollic/wollic2009.html#BelardinelliL09