赵之光
一、个人简介
赵之光，1989年生，泰山学院数学与统计学院教授，泰山学者青年专家，泰安市高层次人才，波兰托伦哥白尼大学访问学者。2011年本科毕业于北京大学哲学系，2013年硕士毕业于荷兰阿姆斯特丹大学逻辑、语言与计算研究所，2018年博士毕业于荷兰代尔夫特理工大学。共发表SCI收录国际期刊论文12篇，CSSCI收录国内核心期刊论文5篇，EI收录国际会议论文9篇。
二、研究兴趣
1.代数逻辑，模态逻辑，逻辑中的拓扑方法
2.对应理论，对偶理论
3.模态计数逻辑
三、学术兼职
山东省逻辑学会理事
四、开设课程
1.抽象代数
2.高等数学
3.线性代数
4.概率论与数理统计
5.逻辑学导论
五、科研项目
1.非经典逻辑的对应理论研究，山东省自然科学基金青年项目（ZR2023QF021），2024-2026，主持
2.代数Sahqvist理论研究，泰山学院引进人才科研启动基金项目，2019年，主持
3.身心关系与因果性的哲学研究，国家社会科学基金青年项目（21CZX049），参与
4.基于现代认知逻辑的形式知识论研究，国家社会科学基金青年项目（18CZX063），参与
5.非古典命题逻辑的结构证明论研究，国家社会科学基金青年项目（16CZX049），参与
六、代表性成果
1.模态计数逻辑ML(#)在不同框架类下的可判定性，与付小轩合作，逻辑学研究，已接收，待刊 (CSSCI)
2.带关系量化的模态逻辑的萨奎斯特对应理论, 与梁飞合作，逻辑学研究，已接收，待刊 (CSSCI)
3.Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic, Studia Logica, doi.org/10.1007/s11225-023-10064-3 (SCI, AHCI)
4.Correspondence and Canonicity Theory of Quasi-Inequalities and Pi_2-Statements in Modal Subordination Algebras, Logic Journal of the IGPL, doi.org/10.1093/jigpal/jzad003 (SCI)
5.Sahlqvist Completeness Theory for Hybrid Logic with Downarrow Binder, Logic Journal of the IGPL, doi.org/10.1093/jigpal/jzac079 (SCI)
6.A Logic for Preference Lifting under Uncertainty and its Decidability, with Xiaoxuan Fu, in Logic and Argumentation: 5th International Conference on Logic and Argumentation, CLAR 2023, LNCS 14156, pp.213-223 (2023, EI)
7.Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail, with Xiaoxuan Fu, in Logic and Argumentation: 5th International Conference on Logic and Argumentation, CLAR 2023, LNCS 14156, pp.11-24 (2023, EI)
8.Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic, Journal of Logic and Computation, 33(3):577-598 (2023, SCI)
9.Jonsson-Style Canonicity for Distributive Modal mu-Calculus, Logic Journal of the IGPL, 31(3):401-421 (2023, SCI)
10.Algorithmic Correspondence for Hybrid Logic with Binder, Logic Journal of the IGPL, 31(1):39-67 (2023, SCI)
11.破坏模态逻辑的算法对应理论，逻辑学研究，15(6):66-92 (2022, CSSCI)
12.Correspondence Theory for Generalized Modal Algebras, in Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, LNCS 13468, pp 53-69 (2022, EI)
13.扩展模态语言中模态可定义性的不可判定性结果, 逻辑学研究，14(6):25-40 (2021, CSSCI)
14.含例邻域逻辑的萨奎斯特对应理论, 逻辑学研究, 14(3):1-23 (2021, CSSCI)
15.Algorithmic Correspondence and Canonicity for Possibility Semantics, Journal of Logic and Computation, 31 (2): 523-572 (2021, SCI)
16.Sahlqvist via Translation, with Willem Conradie and Alessandra Palmigiano, Logical Methods in Computer Science, February 22, 2019, Volume 15, Issue 1 (2019, SCI)
17.Unified Correspondence as a Proof-theoretic Tool, with Giuseppe Greco, Minghui Ma, Alessandra Palmigiano and Apostolos Tzimoulis, Journal of Logic and Computation, 28 (7): 1367-1442 (2018, SCI)
18.Unified Correspondence and Proof Theory for Strict Implication, with Minghui Ma, Journal of Logic and Computation, 27 (3): 921-960 (2017, SCI)
19.Sahlqvist Theory for Impossible Worlds, with Alessandra Palmigiano, Sumit Sourabh, Journal of Logic and Computation, 27 (3): 775-816 (2017, SCI)
20.Jonsson-style Canonicity for ALBA Inequalities, with Alessandra Palmigiano, Sumit Sourabh, Journal of Logic and Computation, 27 (3): 817-865 (2017, SCI)
21.Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces, in Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, LNCS 10388, pp 387-400 (2017, EI)
22.Constructive Canonicity for Lattice-based Fixed Point Logics, with Willem Conradie, Andrew Craig and Alessandra Palmigiano, in Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, LNCS 10388, pp 92-109 (2017, EI)
23.Universal Models for the Positive Fragment of Intuitionistic Logic, with Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, in Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, LNCS 10148, pp.229-250 (2017, EI)
24.Generalised Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention, with Geghard Bedrosian and Alessandra Palmigiano, in Logic, Rationality and Interaction: 5th International Workshop on Logic, Rationality and Interaction - LORI 2015, LNCS 9394, pp. 27-39 (2015, EI)
25.An Abstract Algebraic Logic View on Judgment Aggregation, with Maria Esteban and Alessandra Palmigiano, in Logic, Rationality and Interaction: 5th International Workshop on Logic, Rationality and Interaction - LORI 2015, LNCS 9394, pp. 77-89 (2015, EI)
26.Positive Formulas in Intuitionistic and Minimal Logic, with Dick de Jongh, in Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, LNCS 8984, pp 175-189 (2015, EI)
七、奖励与荣誉
1.2019年，入选山东省泰山学者青年专家
2. 2020年，入选泰安市高层次人才
