Agency And Deontic Logic C by John F. Horty