张呈，男，河南项城人，讲师，主要研究方向为主要研究方向为人工智能逻辑和自然语言逻辑。电子邮箱: zhangcheng6615@163.com

本科毕业于上海电力大学经济学专业，硕士毕业于安徽大学外国哲学专业，博士毕业于安徽大学逻辑学专业。主要讲授逻辑学、马克思主义发展史、马克思主义政治经济学等课程。

科研成果：

1、普莱尔论时态词的自我中心性及其思想根源，《重庆理工大学学报（社会科学）》，2018年第10期。

2、命题动态逻辑的基本思想及其扩展系统，《贵州工程应用技术学院学报》，2023年第1期。

3、基于规划修订动态逻辑的Agent行为规划修订推理，《逻辑学动态与评论》，2023年第1期，中国社会科学出版社。

4、《基于一阶动态逻辑的Agent行为推理及其哲学反思》第四章，科学出版社，2023年5月。