Deontic Logic in Computer Science by Thomas Ågotnes | Menrva Books | MenrvaBooks