The top documents tagged [theory logicformal]