Julien Brunel Jean-Paul Bodeveix Mamoun Filali A State/Event Temporal Deontic Logic. 85-100 2006 conf/deon/2006 DEON http://dx.doi.org/10.1007/11786849_9 db/conf/deon/deon2006.html#BrunelBF06