The top documents tagged [collectivesformal logic]