Text this: Proceedings of the 13th Asian Logic Conference : Guangzhou, China, 16-20 September 2013 / edited by Xishun Zhao, Qi Feng, Byunghan Kim, Liang Yu.