Deontic Logic In Computer Science door