4th Delta Logic Workshop, Nanjing, PRC [2016-10-22] Xixi Logic Posted on 2016-09-28 by Yì N. Wáng2018-10-14 http://ims.nju.edu.cn/~yuliang/delta4/delta4.html
