Modal provability foundations for negation by failure