郭美云
北京大学逻辑学博士，副教授，硕士生导师，重庆市学科带头人后备人选。主要从事现代逻辑中动态认知逻辑、博弈逻辑、更新逻辑和模态逻辑的应用研究.
个人简历：
1996年9月-2000年7月 西南师范大学生命科学学院读本科；
2000年9月-2003年7月 西南师范大学经济政法学院攻读逻辑学硕士学位；
2003年9月-2006年7月 北京大学哲学系攻读逻辑学博士学位；
2006年7月-至今 西南大学政治与公共管理学院副教授
正在讲授的课程：
本科课程：逻辑学；形式逻辑。
研究生课程：数理逻辑2；模态逻辑2；非经典逻辑。
论文:
1. 郭美云、李章吕，《2007年教育部哲学学科教学指导委员会暨全国哲学系主任联席会综述：加强课程体系建设，促进“讲坛哲学”发展》，《哲学动态》，2008年3月。
2. 郭美云，《分布式知识的研究进展》，《哲学动态》，2007年第11期（2008年2期人大复印资料《逻辑》转载）.
3. 郭美云，《带有群体知识的动态认知逻辑》，北京大学博士论文库，2006年。
4. 郭美云《从PAL看认知逻辑的动态转换》，《自然辩证法研究》（2006年第1期）（2006年3期人大复印资料《逻辑》转载）.
5. 郭美云《一个带一般群体知识的多主体认知逻辑系统》（《哲学动态》（2005年逻辑学专刊）.
6. 郭美云，《辛提卡IF一阶逻辑研究》，西南大学硕士论文库，2003年.
7. 邓辉文、郭美云，《模糊集合隶属函数确定中的哲学思考》《西南师范大学学报》人文社会科学版（2002年第5期）
8. 郭美云，《老子认识论的逻辑探析》，《甘肃社会科学》（增刊）（2002 年第6期）.
译作:
1. 约翰.范本特姆，《人的存在并非孤立的：逻辑与交流》（郭美云、崔建英译），《逻辑之门－约翰.范本特姆著作卷Ⅰ：逻辑、信息和互动》，科学出版社，2008年6月。
2. 约翰.范本特姆，《关于信念修正的动态逻辑》（郭美云、萧瑶译），《逻辑之门－约翰.范本特姆著作卷Ⅰ：逻辑、信息和互动》，科学出版社，2008年6月.
3. 约翰.范本特姆，《作为进程模型的扩展博弈》（郭美云、张木春译），《逻辑之门－约翰.范本特姆著作卷Ⅰ：逻辑、信息和互动》，科学出版社，2008年6月.
4. 约翰.范本特姆，《如实反映：逻辑中的信息流动》（郭美云、蒋军利译），《北京大学学报》（人文社科版），2008年6月.
5. 约翰.范本特姆，《自然语言的范畴良结构》（郭美云、于宇译），《逻辑之门－约翰.范本特姆著作卷Ⅱ：逻辑、语言和认知》，科学出版社，即出.
6. 约翰.范本特姆，《范畴语法和l-演算》（郭美云、王磊译），《逻辑之门－约翰.范本特姆著作卷Ⅱ：逻辑、语言和认知》，科学出版社，即出.
已参与的课题：
1、国家社科规划基金资助课题《现代逻辑在人工智能中的应用研究》 项目编号：（04BZX046）；
2、教育部哲学社会科学研究重大课题攻关项目《语言逻辑在知识表达和推理中的应用》 项目编号：（04JZD0006）。
正在主持的课题：
1、西南大学博士基金项目《动态认知逻辑在人工智能中的应用》，2006年－2008年；
2、重庆市重点文科基地项目《信念修正的动态逻辑研究》，2008年－2009.
3、教育部人文社科基金青年项目《动态认知逻辑的基本理论及应用研究》，项目编号08JC72040002：2008年－2010年。
4、国家社科基金青年项目《面向知识更新和信念修正的动态逻辑研究》，项目编号：09CZX033，2009年-2012年。
学术活动：
1. 报告：《Public announcement logic with conditional common knowledge and distributed knowledge》,“逻辑、理性与互动国际研讨会(LORI)”,2007年8月5日－9日，北京师范大学。
2. 报告：《Dynamic epistemic logic with distributed knowledge》,“Workshop on modal logic”,2007年8月1号，中国人民大学,
3. 报告：《一个带有群体知识的公开宣告逻辑系统》，“第二届海峡两岸逻辑教学学术会议”，2006年10月28日－30日，南京大学。
4. 报告：《一个带一般群体知识的认知逻辑系统》“2005·学术前沿论坛逻辑分论坛”，北京市逻辑学会，2005年12月18日，北京师范大学。
5. 报告：《一个带一般群体知识的多主体认知逻辑》，“逻辑博士论坛第一期”，2005年11月25日，中央财经大学。
6. 报告：《公开宣告逻辑》 “全国现代逻辑学术研讨会”，2005年7月25日－27日，北京昌平。