Models for deontic deduction