Thomas Agotnes

• Deontic Logic in Computer Science