Author: Asian Logic Conference (10th 2008 Kōbe Daigaku)