Abstract

This paper shows that the Dawson technique of modelling deontic logics into alethic modal logics to gain insight into deontic formulas is not available for modelling a normal (in the spirit of Anderson) relevance deontic modal logic into either of the normal relevance alethic modal logics R S4or R M. The technique is to construct an extension of the well known entailment matrix set M 0and show that the model of the deontic formula P (A v B). PA v PB is excluded.