The top documents tagged [logical formalization]