2024-05-08
近日,学校数学与统计学院赵之光教授参加多场国内外学术会议并受邀到国内知名大学作报告。报告主题聚焦赵之光教授近年来的部分研究方向,包括模态计数逻辑、社会选择理论和对应理论等方面。在模态计数逻辑方面,赵之光教授受邀赴克罗地亚萨格勒布大学参加萨格勒布逻辑会议(ZLC 2024),并作题为《Modal Logic with Counting: Definability, Semilinear Sets and Correspondence Theory》的学术报告;赴日本札幌北海道大学参加第六届亚洲哲学逻辑工作坊(AWPL 2024),并作题为《Game Semantics for Modal Logic with Counting》的学术报告;赴清华大学第四届逻辑、语言与意义工作坊(TLLM 2024),作题为《Numerical Expressive Powers for Counting Languages》的学术报告;赴北京大学哲学系逻辑、语言与认知研究所,作题为《Modal Logic with Counting》的学术报告。模态计数逻辑是对经典模态逻辑的扩充,在经典模态逻辑的基础上