The top documents tagged [agreement logicformally]