研究领域涉及逻辑学的多个分支，最重要的工作是建立了适合各种逻辑的邻域语义学，并进行深入研究。另外，在认知逻辑、语言逻辑、非经典逻辑等方面也有一些有影响的研究成果。最近的研究集中在与认知、语言有关的分支。

刘壮虎认为，数理逻辑为现在逻辑研究提供了基本和重要的思想和方法，是任何逻辑分支研究的基础。在研究方法上强调逻辑技术的重要性。