下学期的高级模态逻辑课

上课时间为周二3-4 以及周四3-4 (10:10-12:00),地点是文史楼205。