Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference