Author: N.Z.) Asian Logic Conference (12th 2011 Wellington