12:30-17:30

报到

济南市齐汇维景国际大酒店

17:30-19:30

晚餐

二楼咖啡厅

19:30-21:30

学术技能讲座

主持人：徐超

二楼会见厅

腾讯会议室：917-439-631

王彦晶（北京大学哲学系）：科研项目方面的经验交流

研究生学业发展交流

10月29日（周六）上午

08:00-08:30

开幕式

合影

主持人：梁飞

二楼会见厅  

腾讯会议室：120-788-005

一楼大厅

08:30-09:30

特邀报告

主持人：梁飞

二楼会见厅

腾讯会议室：120-788-005

刘虎（中山大学逻辑与认知研究所）：

衡量意见聚合中的公平：一种形式理论框架

09:30-10:00

常规报告

主持人：梁飞

二楼会见厅

腾讯会议室：120-788-005

孙鑫、何霏霏、邱道文、Piotr Kulicki、Mirek Sopek、郭美云：

Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution

10:00-10:10

学生报告

主持人：梁飞

二楼会见厅

腾讯会议室：120-788-005

孟惠民：

偶然非具体主义与代现实主义

10:10-10:40

茶歇+海报展示

二楼会见厅外走廊

10:40-12:10

常规报告

六楼7号会议室  

主持人：陈钰

腾讯会议室：120-788-005

二楼会见厅

主持人：程华清

腾讯会议室：162-482-650

范杰：

Logics of Non-actual Possible Worlds

孙健：

The Defence of Abduction from the Perspective of Mentalism

梁飞、赵之光：

Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations

曾千里、熊明：

The Elimination of Direct Self-Reference

吴近悦：

直觉主义中的函数消极连续性定理

12:10-14:00

午餐

二楼咖啡厅

10月29日（周六）下午

14:00-15:00

特邀报告

主持人：刘虎

二楼会见厅

腾讯会议室：496-720-131

荣立武、苏庆辉（山东大学哲学与社会发展学院、山东大学概念与推理研究所）：

关于指示条件句的会话假设

15:00-15:30

常规报告

主持人：刘虎

二楼会见厅

腾讯会议室：496-720-131

王晓乐：

命题是使真者的集合吗？

15:30-15:50

茶歇

二楼会见厅外走廊

15:50-17:20

常规报告

主持人：刘佶鑫

二楼会见厅

腾讯会议室：496-720-131

陈霖、文学锋：

On the Transitivity of Logical Consequence in the Framework of Nonmonotonic Logic

李延军、赵嘉洁：

A Logic for Probabilities of Successive Events

程佑、Dov M. Gabbay、廖备水：

Equational Approach to Generalized Bipolar Argumentation Frameworks

17:20-17:40

茶歇

二楼会见厅 边上的走廊

17:40-18:40

常规报告

二楼会见厅

主持人：王强

腾讯会议室：496-720-131

六楼7号会议室

主持人：魏宇

腾讯会议室：701-683-229

胡兰双：

何为“必然真”？ ——从真理符合论的视角看

贾青：

A Logical System for Continuous Actions of Accomplishment

王聪：

本质与模态：当代模态本质主义认识论

骆犀羚：

异构网络类聚动态的逻辑研究:公理化及应用

18:40-20:00

晚餐

二楼鲁菜馆

10月30日（周日）上午

8:00-09:00

特邀报告

主持人：琚凤魁

二楼会见厅

腾讯会议室：645-857-419

刘明明（清华大学外国语言文学系）：

形式语义、语用与汉语中的多功能虚词

09:00-09:30

常规报告

主持人：琚凤魁

二楼会见厅

腾讯会议室：645-857-419

张文彦、周北海：

事件-状态语义学：一个关于英语时体时态句的形式语义

09:30-10:30

学生报告+茶歇+海报展示（同时进行）

主持人：王文方

二楼会见厅

腾讯会议室：645-857-419

（每位同学：10分钟报告+10分钟讨论）

（茶歇在二楼会见厅 边上的走廊）

李珮瑜：

关于“应该知道”的哲学逻辑研究与探讨

黄祎妮：

基于 STIT 逻辑对“应该不知道”的刻画

韩琳琳：

关于知识遗忘与回忆的动态认知逻辑研究

10:30-12:00

常规报告

主持人：孙鑫

二楼会见厅

腾讯会议室：645-857-419

熊作军：

自反且传递的秘密逻辑系统

魏宇：

Matching Theories With Observations: A Logic for Adequate Knowing Why

范杰：

Axiomatizing Rumsfeld Ignorance

12:00-12:15

闭幕式

主持人：荣立武

二楼会见厅

腾讯会议室：645-857-419

12:15-14:00

午餐

二楼咖啡厅