Title: Deontic Logic in Computer Science
Subjects: Computer science