with Pacuit, E. , Parikh, R. , 2006, 'The logic of knowledge based obligation', Synthese 149 (2), 311-341.