"Deontic Logic in Computer Science, 7 conf., DEON 2004" - читать интересную книгу автора (Alessio Lomuscio, Donald Nute)