DS-2010-12: Bentzen, Martin Mose (2010) Stit, Iit, and Deontic Logic for Action Types. Doctoral thesis, University of Amsterdam.