报告人：杨帆（芬兰赫尔辛基大学数学与统计学系博士后）

题目： An Overview of Dependence Logic

时间：5月26日 15:00-18:00

摘要：

Dependence logic was introduced by Väänänen (2007) as a novel formalism for reasoning about dependence and independence relations. The logic adopts the team semantics of Hodges (1997). The basic idea of team semantics is that dependency properties can only manifest themselves in multitudes, and thus formulas of dependence logic are evaluated on sets of assignments (called teams) instead of single assignment as in the usual Tarskian semantics. A team can be naturally viewed as a relational database, a dataset, an information state, etc. Thanks to the simple structure of teams and the abundance of their interpretations in various fields of science, team semantics and dependence logic have been investigated recently to address issues in database theory, linguistics, quantum foundations, social choice and so on.

This talk provides an overview of the core theory of dependence logic, including the basics of team semantics, the expressive power and the axiomatization problem of the logic. We will also discuss recent developments on applications of dependence logic in the aforementioned relevant fields.

腾讯会议ID：757 235 251

会议网址：https://meeting.tencent.com/s/XlN4qLjDOAEf