"Deontic Logic in Computer Science: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings" - читать интересную книгу автора (Ron van der Meyden, Leendert van der Torre)