The top documents tagged [collectives formal logic]