时间：2017年5月26日09:00
地点：北京大学哲学系106会议室
秘书：陈千千
安排：
1、高 柯：非标准模型在反推数学中的应用
2、刘佶鑫：模态逻辑中的选择公理：模型论视角的考察
3、郑 植：基于意象图式的动词形式语义
