The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapo...