 For the second type of extension, a recent puzzle that has received much attention is the so-called Miners Paradox (Kolodny &amp; MacFarlane 2010; Parfit ms. [see  Other Internet Resources]).  A proposal for dealing with the latter in the context of deontic STIT logic can be found in Horty 2019; earlier proposals for dealing with knowledge-based obligations are Pacuit, Parikh and Cogan 2006 and Broersen 2008. Clearly, however fundamental the monadic operators represented in SDL, they are but a fragment of those employed in normative discourse.