近日，学校数学与统计学院赵之光教授参加多场国内外学术会议并受邀到国内知名大学作报告。报告主题聚焦赵之光教授近年来的部分研究方向，包括模态计数逻辑、社会选择理论和对应理论等方面。
在模态计数逻辑方面，赵之光教授受邀赴克罗地亚萨格勒布大学参加萨格勒布逻辑会议(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》的学术报告。模态计数逻辑是对经典模态逻辑的扩充，在经典模态逻辑的基础上增加了关于基数比较的公式。赵之光教授与合作者在这个领域的研究处于国际领先水平，并被约翰·范·本特姆等国际知名逻辑学家引用。
在社会选择理论方面，赵之光教授受邀赴中国政法大学人文学院逻辑研究所，作题为《A Brief Introduction to Social Choice Theory》的学术报告。在对应理论方面，赵之光教授受邀赴清华大学逻辑研究中心作题为《Sahlqvist Correspondence Theory》的学术报告。
赵之光，澳门银银河国际官网数学与统计学院教授，泰山学者青年专家，泰安市高层次人才，山东省逻辑学会理事，波兰托伦哥白尼大学访问学者。研究兴趣主要为代数逻辑，模态逻辑，逻辑中的拓扑方法和模态计数逻辑。共发表SCI、AHCI、EI、CSSCI收录论文二十余篇，主持山东省自然科学基金青年项目1项，参与国家社会科学基金青年项目3项，多次参与北京大学、山东大学的硕士、博士论文外审工作以及Journal of Logic and Computation, Studia Logica, Logic Journal of the IGPL, Journal of Philosophical Logic, 逻辑学研究等期刊审稿工作。
供稿审核人：穆元伟
图片来源：李岳容
编辑：王磊斌
终审：王成磊
