Author: Asian Logic Conference