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

Francesco Belardinelli, Alessio Lomuscio

Browse the full WoLLIC paper archive.