DS-2010-12: Martin Mose Bentzen Stit, Iit, and Deontic Logic for Action Types 1.Full Text, 2.Abstract. < Back