Gyesik Lee

• Proceedings of the 14th and 15th Asian Logic Conferences