Title: Deontic logic in computer science
Subjects: Computer science, Congresses, Deontic logic