A modal approach to negation as failure rule