The top documents tagged [formal logic language]