Proceedings Of The 10th Asian Logic Conference door