Title: Deontic Logic in Computer Science