中山大学哲学系逻辑与认知研究所文学锋副教授将应邀前来做学术报告并交流学术研究经验。具体安排如下：

时间: 5月14日 15:10-18:00（先进行学术报告，后交流学术研究经验）

地点: 文史楼101 

题目：Various Logical Consequences in Modal Logic

摘要：There are various notions of logical consequence (or validity) in modal logic, including local consequence (preserving truth at all worlds in all models), global consequence (preserving truth in all models), Kripke consequence (preserving truth at the actual worlds in all models), informational consequence (preserving informational structure in all models, but very similar to global consequence), and Fitting consequence (combining local and global consequence). We discuss the connections between these various notions, from both semantic and syntactic perspectives. Some results are already known, some appear to be new. We show how some different notions of logical consequence in modal logic can be defined in a uniform framework. We also indicate some philosophical consequences of the technical results.

发布时间：2019-05-10 16:45:48