劉曉虎

籍貫：河南省開封市

獲得學位：2003年6月，邏輯學博士，中山大學。

工作經歷：中山大學哲學系教授

中國邏輯學會現代邏輯專業委員會副主任

研究方向：非經典邏輯，人工智能

^[1] 

模態邏輯，非經典邏輯，人工智能邏輯，模型論，證明論。 ^[1] 

學術論文發表在Journal of Philosophical logic, IJCAI，LORI等重要國際學術刊物與學術會議、以及中國社會科學等國內刊物和文集。 ^[1] 

已發表論文：

Hu Liu and Xuefeng Wen, On formalizing causation based on constant conjunction theory, The Review of Symbolic Logic, vol 6-1, 2013. pp. 160-181. Hu Liu, Comments on Baltag, Christoff, Hansen and Smets, in Studies In Logic, Vol. 47, the Proceedings of the Conference of Logic Across the University, Foundations and Applications, 2013. pp. 433-435. Hu Liu and Xuefeng Wen, Effect learning by constant conjunction in a temporal structure, 邏輯學研究，Vol. 6-3,2013. pp. 1-15. Xuefeng Wen and Hu Liu, Logic Aggregation, in LNCS 8196, the Forth International Workshop on Logic, Rationality, and Interaction, 2013. pp. 282-295. Hu Liu, Yuan Ren and Xuefeng Wen, Simulative belief logic, Journal of Applied Logic, vol 11-2, 2013. pp. 217-228. 優博 基本 省社科 Sci Xuefeng Wen, Hu Liu and Fan Huang, An alternative logic for knowability, in LNAI 6953, the Third International Workshop on Logic, Rationality, and Interaction, 2011. pp. 342-355. 査非，劉虎，狀態相似性與流量限制模型，邏輯學研究，Vol. 4-2,2011. pp. 1-19. Hu Liu, An extension of ATL for model checking causality, Studies in Logic,Vol. 2-4, 2009. pp 1-15. Hu Liu, A cooperation logic for declaration structures, in Lecture Notes in Artificial Intelligence 5834, Second International Workshop on Logic, Rationality, and Interaction, 2009. pp.189-197. 劉虎，交互時態邏輯中的因果關係，邏輯與哲學，學富文化事業有限公司出版（台），pp113-125, 2009. 劉虎，開放系統中智能體競爭的時態邏輯，中山大學學報，vol. 48-2，2008，pp112-118.劉虎，鞠實兒，認知邏輯的邏輯全知問題，求是學刊，2008.

劉虎，開放系統中智能體競爭的時態邏輯，中山大學學報，2007.

Hu Liu and Shier Ju, Two-dimensional awareness logic, Journal of Philosophical logic, Vol. 33-5, 2004. pp. 481-495.

Hu Liu and Shier Ju, Belief, awareness, and two-dimensional logic, in Proceedings of 18th International Joint Conference on Artificial Intelligence (IJCAI-03), 2003. pp 1113-1118.

Shier Ju and Hu Liu, The logical structure of open sets, in Logic and Cognition: the Progress in Logical Study in China, eds. Shier Ju, Social Sciences in China Press, Beijing, China, 2003.

Shier Ju and Hu Liu, A three-valued logic based on open-world assumption, in Proceedings of the Conference of Artificial Intelligence and Computer Science of National Research Project, Tsinghua University Press, 2001. pp 507-516.

Hu Liu, A comparative study of the traditional concepts of set, Journal of Sun Yat-sen University, Vol. 20-2, 2000. pp 44-50. ^[1] 

目標驅動的無窮合作博弈研究，國家社科基金，18萬。(No. 13BZX066)。2013- 因果關係的形式化理論及其應用研究，5萬，廣東省哲學社會科學十二五規劃。2012- 基於時態邏輯的因果關係理論，中山大學基本科研業務費，7.5萬，2010年1月-2012年12月。 非單調邏輯的基礎理論研究，教育部全國優秀博士論文專項，2007B01,42萬，2008年1月-2012年12月。 非單調推理模式的信念梯度研究，中山大學桐山青年基金，2萬，2006-2008. ^[1] 

2012年3月-2013年3月訪問學者，美國斯坦福大學計算機系。

2005年5月－2006年5月 博士後研究員（Postdoctoral Fellow），新南威爾士大學計算機科學與工程學院人工智能系，澳大利亞。

2003 年9月－2004年8月 Alan Ross Anderson博士後研究員（Alan Ross Anderson Postdoctoral Fellow），匹茲堡大學哲學系，美國。 ^[1] 

2007年獲得全國優秀博士學位論文獎勵；2010年入選中山大學卓越人才計劃；2011年入選中山大學合生珠江優秀青年教師。 ^[1]