我院赵之光教授在第四届国际人工智能逻辑与应用会议（AILA 2024）获最佳论文奖第二名

2024年8月10日—11日，由中国人工智能学会主办，兰州交通大学承办的“第四届国际人工智能逻辑与应用会议（AILA 2024）”在兰州举办。我院赵之光教授作为通讯作者提交的论文“Game Semantics for Modal Logic with Counting”在本次会议中获得最佳论文奖第二名。该论文给出了模态计数逻辑的赋值博弈和模型比较博弈，为模态计数逻辑的研究提供了新的视角。

近年来，学院鼓励教师“走出去，请进来”，支持科研骨干积极参加高水平学术会议，参与高层次学术交流、在高层次学术交流中不断提升我校的学术影响力和国际知名度，提高教师科研能力和学术素养，为学科发展提供强有力的支撑，也为我院高质量发展奠定了坚实基础。

赵之光，泰山学院数学与统计学院教授，泰山学者青年专家，泰安市高层次人才，山东省逻辑学会理事，波兰托伦哥白尼大学访问学者。研究方向为代数逻辑，模态逻辑，逻辑中的拓扑方法和模态计数逻辑。共发表论文31篇，其中SCI收录国际期刊论文15篇，CSSCI收录国内核心期刊论文5篇，EI收录国际会议论文10篇，主持山东省自然科学基金青年项目1项，参与国家社会科学基金青年项目3项，担任LORI 2023国际会议、NCML 2024国内会议的程序委员会成员，多次参与北京大学、山东大学的硕士、博士论文外审工作，Journal of Logic and Computation, Studia Logica, Logic Journal of the IGPL, Journal of Applied Logic, Journal of Philosophical Logic, 逻辑学研究，Journal of Applied Non-Classical Logics， Mathematics， Axioms期刊和TARK 2011, ICALP 2014, NCML 2016, WOLC 2016, TbiLLC 2017, SOQE 2017, NCML 2018, TARK 2021, NCL 2022, WoLLIC 2024，PRICAI 2024会议审稿人。