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