Jan Broersen A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'. 140-154 2008 DEON http://dx.doi.org/10.1007/978-3-540-70525-3_12 conf/deon/2008 db/conf/deon/deon2008.html#Broersen08