Jianfeng He: Logic of awareness [2016-06-15]
西溪逻辑论坛第36期 （本活动受中央高校基本科研业务费专项资金资助） 主题：Logic of awareness 报告人：何键枫 时间：2016年06月15日 13:30-15:00 地点：浙大西溪校区主楼259会议室 摘要：报告人将向大家介绍Fagin & Halpern关于觉知逻辑的经典文献内容。
Continue reading →Category Archives: ZJU Events
Zhenning Chen: Beyond knowing that [2016-06-01]
西溪逻辑论坛第35期 （本活动受中央高校基本科研业务费专项资金资助） 主题：Boyond knowing that 报告人：陈振宁 时间：2016年06月01日 13:30-15:00 地点：浙大西溪校区主楼259会议室 摘要：报告人将向大家介绍最近几年来认知逻辑领域关于“知道是否”、“知道什么”、“知道如何”等问题的由来、概况和已有解决方案。
Continue reading →Zuojun Xiong: Arbitrary-tweeting Twitter Logic
Xixi Logic Seminars #34 Speaker: Zuojun Xiong Date & Time: 25 May 2016 (Wednesday), 13:30 – 15:00 Place: Seminar room #259, Main teaching building, Xixi campus, Zhejiang University Arbitrary-tweeting Twitter Logic In this paper, we have defined an Arbitrary-tweeting Twitter … Continue reading →