Proceedings of the 13th Asian Logic Conference Guangzhou, China, 16-20 September 2013 - Zhao, Xishun; Feng, Qi, 1955-; Kim, Byunghan, 1963-; Yu, Liang (Of Nanjing University) (World Scientific, 2015)