HomeCommunityNational Conference on Modern Logic, Chongqing, PRC [2016-10-14/16]