Chao Xu, Yanjing Wang, Thomas Studer: A logic of knowing why. Synthese, In Press
Xun Wang: A Logic of Knowing How with Skippable Plans. in Proceedings of LORI-VII: 413-424, 2019
Jixin Liu: Model Theoretical Aspects of Normal Polyadic Modal Logic: An Exposition. Studies in Logic, 2019, 12(3): 79-101.
Conden Chao & Payam Seraji: Gödel’s Second Incompleteness Theorem for Σ_n-Definable Theories. Logic Journal of the IGPL 26 (2):255-257, 2018
周北海, 王强, 郑植: 亚里士多德划分格与亚里士多德逻辑, 逻辑学研究 2018年第4期
高珂: 真在非标准算术模型中的不可定义性 重庆理工大学学报(社会科学版) 2018年第11期
Jan van Eijck, Kai Li: Conditional Belief, Knowledge and Probability. TARK 2017: 188-206
Yanjun Li, Quan Yu and Yanjing Wang: More for Free: A Dynamic Epistemic Framework for Conformant Planning over Transition Systems, in Journal of Logic and Computation, 27(8), 2017, pp. 2383-2410
Yanjun Li, Yanjing Wang: Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints. ICLA 2017: 154-167
Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang: Strategically knowing how. IJCAI 2017: 1031-1038
Yanjun Li: Stopping means achieving: a weaker logic of knowing how, Studies in Logic: 9(4), 2016, pp. 34-54
Yanjun Li: Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles, in Proceedings of LORI-V, pp. 230-242
许春梅：超模态逻辑K[Tm, Kn]，《逻辑学研究》，2016年第1期
周龙生：怀疑逻辑的弗协调方案探赜，《重庆理工大学学报·社会科学》，2016年第3期
Kai Li, Yanjing Wang: From rules to runs: A dynamic epistemic take on imperfect information games. Studies in Logic, 8(4): 74—107, 2015
Jie Fan, Yanjing Wang, Hans van Ditmarsch: Contingency and Knowing Whether. Review of Symbolic Logic 8(1): 75-107, 2015
Jie Fan, Hans van Ditmarsch: Neighborhood Contingency Logic. ICLA 2015: 88-99
Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev: Some Exponential Lower Bounds on Formula-size in Modal Logic. Advances in Modal Logic 2014: 139-157
Jie Fan, Yanjing Wang, Hans van Ditmarsch: Almost Necessary. Advances in Modal Logic 2014: 178-196
Yanjing Wang, Jie Fan: Conditionally Knowing What. Advances in Modal Logic 2014: 569-587 2013
Yanjing Wang, Jie Fan: Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators. IJCAI 2013: 1147-1154
李 熙：为什么归纳逻辑需要所罗门诺夫先验，《逻辑学研究》，2014年第4期
王海若：“蒯因:逻辑和哲学”国际研讨会综述，《哲学分析》，2014年第1期
许春梅，刘壮虎：基于K4的超模态逻辑，《湖南科技大学学报·社会科学版》，2014年第2期
赵 震：可以不失表达力而又避免说谎者悖论吗?，《湖北大学学报·哲学社会科学版》2014年第2期
周北海，傅庆芳：一个关于专名指称存在预设的形式刻画，《逻辑学研究》，2014年第1期
陈 波，赵 震，李 琳：大学哲学教育如何回应当代社会的需求与挑战?——世界大学哲学系主任联席会议纪实，《哲学分析》，2013年第1期
J. 亨迪卡/文，万美文/译：勒内思考，故笛卡尔存在，《世界哲学》，2013年第3期
S. 克里普克/文，赵 震，万美文/译：第一人称，《世界哲学》，2013年第2期
苏珊·哈克/文，赵 震，万美文/译：实在论及其竞争者:恢复我们的天真，《哲学分析》，2013年第2期
Yanjing Wang and Qinxiang Cao, On axiomatizations of Public Announcement Logic. Synthese 190(1S): 103-134 (2013), Springer
杜国平，傅庆芳：C_n(1≤n<ω)及C_ω中的否定，《湖南科技大学学报·社会科学版》，2012年第3期
杜国平，傅庆芳：3值逻辑与经典2值逻辑关系探究，《安徽师范大学学报·人文社会科学版》，2012年第6期
郭顺利：批判性思维与中国传统思想，《理论界》，2012年第9期
郭顺利：主次条件句中的多余条件问题，《湖南科技大学学报·社会科学版》，2012年第5期
刘靖贤：“弗雷格:逻辑和哲学”国际研讨会综述，《哲学分析》，2012年第3期
刘靖贤：内涵的《算术基本规律》，《哲学分析》，2012年第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), S. Ghilardi and L. Moss eds., College publications
赵 震：说谎者悖论的一个新解决方案的纲要(英文)，《逻辑学研究》，2012年第3期
刘靖贤：不可超越的无穷:关于直谓性和后继公理的关系，《逻辑学研究》，2011第2期
刘靖贤：良莠不齐反驳，《湖南科技大学学报·社会科学版》，2011年第6期
徐召清：认知疑难及其解决，《哲学门》，2011 年（总第23 辑）
傅庆芳：关于应用逻辑研究的几点建议，《2010年全国应用逻辑研讨会会议论文集》
崔晓红：策略博弈的动态认知分析，《湖南科技大学学报·社会科学版》，2010年第2期
崔晓红：社会软件探赜，《重庆理工大学学报·社会科学》，2010年第3期
琚凤魁：The semantics of Fouze（英文），《暨南大学学报·自然科学与医学》, 2010年第5期
琚凤魁：Imperatives and logic（英文）. 《逻辑学研究》, 2010.年第3期
张闵敏：中介公理集合论框架下的粗糙集，《山东大学学报·理学版》，2010年第9期
郭永盛：对分析哲学一个非历史角度的考察，《济南大学学报·社会科学版》，2009年第3期
郭永盛：什么是新逻辑主义，《湖南科技大学学报·社会科学版》，2009年第3期
Yi N. Wang: A two-dimensional hybrid logic of subset spaces. In Ramanujam, R. and Sarukkai, S., eds,
Proceedings of the Third Indian Conference on Logic and Applications (ICLA). LNCS 5378, 196-209, Chennai,
India, January 7–11, 2009
M. 比内/文，刘佳/译：关于弗雷格“Bedeutung”一词的翻译，《世界哲学》，2008年第2期
裘江杰：一族不完全的逻辑，《哲学研究》，2007年第4期
任晓明，臧 勇：主观贝叶斯主义的概率理论，《华北水利水电学院学报·社科版》，2007年第2期
王 轶，许涤非：否定的邻域语义分析，《湖南科技大学学报·社会科学版》，2007年第4期
周北海、裘江杰：萨奎斯特逻辑的格，《2007年现代逻辑与逻辑史研讨会论文集》
冯 艳：论经典否定、直觉主义否定和弗协调否定，《自然辩证法研究》，2005年第2期
冯 艳：自由摹状词理论研究述评，《哲学动态》，2005年第7期
刘叶涛：然种类名称与严格性：克里普克通名理论的一个疑点，《自然辩证法研究》，2005年第1期
刘叶涛：关于可能世界视域中的名称与本质问题：兼评中西学者在相关领域中的学术论争，《东南大学学报·哲学社会
科学版》，2005年第1期
刘叶涛：关于名称和本质的若干思考，《江汉论坛》，2005年第1期
刘叶涛：现代名称理论的对立与融合，《河北大学学报·哲学社会科学版》，2005年第3期
冯 艳：20世纪自由逻辑的产生和发展，《湖南科技大学学报》，2004年第4期
刘叶涛：克里普克的逻辑悖论研究，《哲学动态》，2004年增刊
张力锋：模态逻辑的哲学归宿，《四川大学学报·哲学社会科学版》，2004年第2期
张力锋：关于戴维森纲领的思考，《重庆师院学报·哲学社会科学版》，2004年第3期
张立英，周北海：基于主谓项涵义联系的概称句推理的几个逻辑，《哲学动态》，2004年增刊
许涤非：单主体认知逻辑的研究：全知性和真知性，《湘潭师范学院学报·社会科学版》，2003年第2期
张力锋：戴维森纲领：一条躲避内涵的意义理论捷径，《哲学研究》，2003年增刊
张力锋：专名指称理论:历史、现状及反思，《重庆师院学报·哲学社会科学版》，2002年第3期
许涤非：二重命题逻辑系统，《哲学动态》，2001年增刊
郝兆宽：论TRS的交汇性，《自然辩证法研究》，2000年增刊
郝兆宽：一个无穷值逻辑，《自然辩证法研究》，1998年增刊
熊 明：哥德尔-根岑翻译和本体论映射，《自然辩证法研究》，1998年增刊
毛 翊：邻域语义学，《哲学动态》，1994年增刊
翟杰全：科学逻辑学，《科学学研究》，1987年第1期
周北海：Kripke语义学及其一些哲学问题，《北京大学学报·哲学社会科学版》，1987年第4期