郭美雲

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日，北京昌平。