Book

Deontic Logic in Computer Science

by Alessio Lomuscio, Donald Nute