Tian-Qun Pan
Institute of Modern Logic and Its Application, Nanjing University, China
Reasoning About Knowledge