Modal interpretation for negation by failure