 It was recently pointed out that it is also possible to base Mally’s deontic logic on intuitionistic propositional logic IPC rather than classical propositional logic (Lokhorst 2013; see also Centrone 2013).