The top documents of logical-systems