Kim Byunghan

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