研究兴趣主要是模态逻辑，特别是基础模态逻辑以及多模态逻辑的基础研究及其应用方面。通过模态逻辑的代数语义、对偶等进行模态逻辑扩张格的结构与性质的研究。关心时态逻辑、乘积逻辑等多模态逻辑中模态算子之间的交互。对博弈逻辑、动态逻辑、依赖逻辑等逻辑的性质及其哲学方面的讨论和应用也有较浓的兴趣。