Văn bản này: Proceedings of the 11th Asian Logic Conference