王勋，讲师，中山大学哲学学士，中山大学哲学硕士，北京大学哲学博士。研究方向为模态逻辑，主要是一阶模态逻辑，讲授《逻辑学导论》和《数理逻辑》课程。

论文：

Lindstrom Theorems for ∃□-Bundled Fragment of First-Order Modal Logic, Studies in Logic, Vol. 17, No. 3, 1-23, 2024

Completeness Theorems for ∃□-Bundled Fragment of First-Order Modal Logic, Synthese, 201:123, 2023 (Extended journal version of the LORI 2021 conference paper)

The Complexity of Nilradicals and Jacobson Radicals in Computable Rings, Studies in Logic, Vol. 15, No. 3, 36-51, 2022

Completeness Theorems for ∃□-Fragment of First-Order Modal Logic, In: Proceedings of LORI 2021,  246-258，2021

A Logic of Knowing How with Skippable Plans. In: Proceedings of LORI 2019,  413-424，2019