@vardi I think knowledge in traditional logic systems are already there, but you need to discover them by proving them. In that sense, there is no "new knowledge" that can invalidate "old knowledge", but just subjectively things we didn't know before.