演 讲 人: 刘虎 (中山大学哲学系副教授)
演讲题目：分支时空结构上的时态逻辑
时 间：6月23日（星期一）下午 2:30-4:30
地 点：哲学系二楼会议室（四院）
主 办：逻辑、语言与认知研究中心

内容简介：分支时空结构上时态逻辑的公理化问题。

演讲人介绍：
刘虎，1998-2003 在中山大学逻辑学专业学习，获哲学博士学位；2003 年起在美国匹兹
堡大学哲学系做博士后研究；2005 年起在澳大利亚新南威尔士大学计算机系做博士后研
究；2006 年起在中山大学哲学系工作。主要研究兴趣是时态逻辑、模型检测、非单调推
理、多 agent 系统。