The top documents tagged [symbolic logicauthor]