Deontic Logic In Computer Science by