基本情况

2013年7月毕业于新葡萄8883官网AMG，获博士学位，主要从事计量逻辑与不确定性推理研究。

代表性学术论文

• 1.  Shi Hui-Xian, Wang Guo-Jun. Lattice-valued modal propositional logic and its completeness. SCIENCE CHINA Information Sciences, 53(11), 2230-2239, 2010.
  

• 2.  Shi Hui-Xian, Wang Guo-Jun. Maximal contractions in Boolean algebras. SCIENCE CHINA Information Sciences, 55(9), 2044-2055, 2012.
  3.  时慧娴, 王国俊. 多值模态逻辑的计量化方法. 软件学报, 23(12), 3074-3087, 2012.

教育科研项目

• 2016.1-2018.12  基于动态时序语义的逻辑推理及其量化模型  国家自然科学基金青年项目
  

• 2015.1-2015.12  线性时序关系下推理的概率计量化模型  国家自然科学基金天元项目