Note that, assuming an ordinary semantics of modal logic, 0-.1' is compatible with This means that even if 0---T(X) is true, it may still be possible that it is known that X did not Y.
0--.P is a weaker proposition than q -4' and asserting a weaker proposition often implicates the negation of a stronger one as 'some...' implicates 'not all.