王彦晶

研究方向：模态逻辑，特别是知识逻辑以及一阶模态逻辑可判定片段

代表性论文：

1.Yanjing Wang: Beyond knowing that: a new generation of epistemic logics, in Jaakko Hintikka on knowledge and game-theoretical semantics, 499-533, (2018) Springer

2.Yanjing Wang: A new modal framework for epistemic logic. in Proceedings of TARK 2017: 493-512 EPTCS

3.Yanjing Wang: A logic of goal-directed knowing how, Synthese 195 (10): 4419-4439. 2018

4.Yanjing Wang and Qinxiang Cao, On axiomatizations of Public Announcement Logic. Synthese 190(1S): 103-134 (2013), Springer

5.Yanjing Wang and Yanjun Li, Not all those who wander are lost: dynamic epistemic reasoning in navigation, in Advances in Modal Logic Vol. 9, pp.559-580 (2012) College publications