陈谦，厦门大学哲学系助理教授。2021年于中山大学获哲学学士学位，2026年于清华大学获哲学博士学位。主要研究方向是模态逻辑，特别是基础模态逻辑以及多模态逻辑的基础研究及其应用方面。通过模态逻辑的代数语义、对偶理论等进行模态逻辑扩张格的结构与性质的研究。关心时态逻辑、乘积逻辑等多模态逻辑中模态算子之间的交互。对直觉主义逻辑、博弈逻辑、动态逻辑、依赖逻辑等也有较浓的兴趣。相关论文发表于《Annals of Pure and Applied Logic》《The Review of Symbolic Logic》《Journal of Philosophical Logic》《Studia Logica》《Journal of Logic, Language and Information》等国际学术期刊。

代表性成果

1. Qian Chen and Dazhu Li∗ (2026). On the Logic of the Hide and Seek Game. Journal of Logic, Language and Information 35, 135–159.

2. Penghao Du and Qian Chen∗ (2026). Hilbert-Style Calculus and Tableau Calculus for Logics of Link Variations. Journal of Logic, Language and Information 35, 109-134.

3. Qian Chen (2026). Pretabular Tense Logics over S4t. Annals of Pure and Applied Logic 177(10), 103807.

4. Qian Chen and Minghui Ma∗ (2025). The McKinsey Axiom on Weakly Transitive Frames. Studia Logica 113, 1543–1566.

5. Qian Chen, Chenwei Shi∗ and Yiyan Wang (2024). Reasoning about dependence, preference and coalitional power. Journal of Philosophical Logic 53, 99–130.

6. Qian Chen and Minghui Ma∗ (2024). Tabularity and Post-completeness in Tense Logic. The Review of Symbolic Logic 17(2):475-492.