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会议审稿人。