首页 委员会 征稿启事 注册参会 特邀报告 录用论文 会议程序 本地信息 会场与交通 承办单位 精彩瞬间 历届会议 联系我们
会议地点：梅竺度假村酒店（杭州市梅家坞3号）
| 10月20日周五会前日程（全天可报到） | 会场2（二楼6号会议室） |
|---|---|
| 16:00-17:30 | 教育环节讲座： 王彦晶（北京大学） 一个“老改犯“的自白：学术论文的写作及修改 |
| 20:00-21:30 | 教育环节座谈（欢迎全体与会师生参加） 主持人：刘新文（中国社会科学院） 主 题：Permanent Head Damage：读PhD的经验与教训 |
（如抵达时间太晚，请于第二天早上报到并领取会议材料）
| 10月21日周六上午会议日程 | ||
|---|---|---|
| 08:15–08:35 | 开幕及合影 | |
| 第一场 | 会场1（一楼多功能厅） | |
| 08:35–09:30 | 特邀报告：陈翌佳（复旦大学）Computation by first-order logic, its power and limitation | |
| 09:30–10:00 | 刘壮虎（北京大学）：类概念、个体概念和性质概念 | |
| 10:00–10:15 | 茶歇 | |
| 第二场 | 会场1（一楼多功能厅） | 会场2（二楼6号会议室） |
| 10:15–10:45 | 俞珺华（清华大学） A cut-free sequent calculus for instantial neighborhood logic | 郑伟平（厦门大学） 罗素的非受限变元理论 |
| 10:45–11:15 | 范杰（北京师范大学） Neighborhood contingency logic: a new perspective | 许涤非（中国人民大学） On what there is |
| 11:15–11:45 | 唐芳芳（中国社会科学院） Generalized sheffer-stroke based analytic modal axiomatic system for GL (已发表论文) | 劉吉宴（陽明大學） 合理性推論的兩個準則 |
| 11:45–12:00 | 茶歇 | |
| 第三场 | 会场1（一楼多功能厅） | |
| 12:00–12:30 | 伍岳轩（南京大学）：真之修正理论前沿探析—— STEP 条件句 | |
| 10月21日周六下午会议日程 | ||
|---|---|---|
| 第四场 | 会场1（一楼多功能厅） | |
| 14:00–14:55 | 本地特邀报告：廖备水（浙江大学）Prioritized Norms in Formal Argumentation | |
| 14:55–15:25 | 周北海、王强*、郑植（北京大学）：亚里士多德划分格与亚里士多德逻辑 | |
| 15:25–15:45 | 茶歇 | |
| 第五场 | 会场1（一楼多功能厅） | 会场2（二楼6号会议室） |
| 15:45–16:15 | 陈伟伟*(中山大学)、Ulle Endriss (阿姆斯特丹大学) Preservation of semantic properties during the aggregation of abstract argumentation frameworks (已发表论文) | Federico Bobbio (比萨大学) 、崔建英*(中山大学) A plausibility model for regret games |
| 16:15–16:45 | 徐康*(浙江水利水电学院)、廖备水(浙江大学) 关于强制外延的抽象论辩系统修正规则 | 赵梦媛(上海理工大学) Anaphoric Analysis of Presupposition Projection |
| 16:45–17:15 | 余喆*(浙江大学)、徐康(浙江水利水电 学院)、廖备水(浙江大学) Structured argumentation-restricted rebut vs unrestricted rebut | 应腾(浙江大学城市学院) 可废止逻辑结构化论辩系统的研究 |
| 17:15–17:30 | 茶歇 | |
| 第六场 | 会场1（一楼多功能厅） | |
| 17:30–18:00 | 张立英(中央财经大学): A generic interpretation for induction reasoning (已发表论文) | |
| 18:00–18:30 | 学生论文摘要： 周海燕：对个人叙事转变现象的分析与逻辑构造 李帝霖(香港浸会大学)：Can silence be a proper response to the liar paradox? 闫佳亮(中国社会科学院)：可判定的一阶片段 Lithium 逻辑研究 |
|
| 10月22日周日上午会议日程 | 会场1（一楼多功能厅） | |
|---|---|---|
| 第七场 | ||
| 08:30–09:25 | 特邀报告：朱菁（厦门大学）BDI 模型的哲学基础 | |
| 09:25–09:55 | 董惠敏*（浙江大学）、 Norbert Gratzl（慕尼黑大学） Free choice permission within open reading: a perspective in substructural logics |
|
| 09:55–10:10 | 茶歇 | |
| 第八场 | 会场1（一楼多功能厅） | 会场2（二楼6号会议室） |
| 10:10–10:40 | 杜珊珊（武汉大学） Rewritability in modal logics over tree models | 贾青（中国社会科学院） 刻画不同应当算子的 STIT 逻辑 |
| 10:40–11:10 | 梁飞*（中山大学）、林哲（中山大学） The decidability of Lambek calculus with minimal and de Morgan negations | 何键枫（浙江大学） 群体宣告:受限能力与群体知识 |
| 11:10–11:40 | 程勇（武汉大学） First incompleteness theorem in the context of R* | 张力锋（南京大学） 逻辑宿命论辩谬 |
| 11:50–12:30 | 闭幕（一楼多功能厅） | |
注1：特邀报告时间55分钟，常规报告时间30分钟，学生报告10分钟
注2：常规报告中全场和半场的区分依据审稿意见中论文受众面而定
注3：有多位作者的论文，在已确定的报告人名字后标注*号