我所教授文学锋和硕士研究生陈霖参加第30届逻辑、语言、信息与计算研讨会

第30届逻辑、语言、信息与计算研讨会(Workshop on Logic, Language, Information and Computation, WoLLIC)于2024年6月10日至13日在瑞士伯尔尼大学举行。

我所教授文学锋的论文“Validity in Contexts: A Semantics for Indicatives and Epistemic Modals”以及逻辑学专业22级硕士研究生陈霖和文学锋教授合作的论文“Strict-Tolerant Conditional Logics”均被WoLLIC 2024接收，并受邀于伯尔尼大学作会议报告。

WoLLIC 2024会议论文集链接：https://link.springer.com/book/10.1007/978-3-031-62687-6

文学锋教授报告的论文定义了一种带语境的语言，在McGee条件句语义的基础上给出了条件句和认知模态的形式语义，并通过区分两种前提，定义了一种三元语义后承。基于该语义后承的形式语义可统一解决一系列关于直陈条件句和认知模态的推理难题。

文学锋教授报告“Validity in Contexts: A Semantics for Indicatives and Epistemic Modals”

陈霖同学报告的论文在Lewis条件句语义的基础上定义了一种基于严格-宽容式有效性的条件句语义，并给出了相应的矢列演算。该逻辑可看作Lewis条件句逻辑和Stalnaker条件句逻辑的融合，它既不需要对选择函数作唯一性假设，又可使得条件排中律有效。同时，对模型施加合理限制后还能得到强连接逻辑。

陈霖报告“Strict-Tolerant Conditional Logics”

WoLLIC研讨会始于1994年，每年召开一次，是逻辑学领域高水平国际学术会议，涉及形式逻辑、计算理论、自然语言推理等。会议旨在促进纯逻辑和应用逻辑的跨学科研究，增进不同领域间学者的互动。WoLLIC 2024的会议内容包括教学讲座、邀请报告和常规论文报告。

本届会议共接受了18篇论文，除上述2篇来自中国作者的论文外，其他论文的作者分别来自阿根廷、澳大利亚、巴西、波兰、德国、俄罗斯、法国、荷兰、加拿大、捷克、南非、日本、瑞典、乌拉圭、西班牙和意大利等16个国家。陈霖同学是本届会议唯一受邀作报告的硕士研究生。