The top documents tagged [provability logic]