国产91麻豆一区二区久久久

时间：5月22日下午3：10－6：00
地点：一教308

        最近十年“动态认知逻辑”（Dynamic Epistemic Logic）作为一个领域发展迅速，从事相关研究的学者也比较多，但是一个领域的健康发展需要不断的反思和有深度的工作。逻辑、语言与认知中心很荣幸邀请到 Hans van Ditmarsch 教授（介绍见下）在我中心做一次对于动态认知逻辑的问答会，形式是主讲人对前期征集来的问题进行回答，之后大家追问并讨论。欢迎同学们参加！
      之前本中心和Johan van Benthem教授也搞过一次类似的问答会，报告请见：http://www.phil.pku.edu.cn/cllct/ann_content.php?msgid=222。
逻辑、语言与认知中心
http://www.phil.pku.edu.cn/cllct

学者简历：

      Hans van Ditmarsch教授师从著名逻辑学家Johan van Benthem，在荷兰格罗宁根大学获得逻辑学博士学位。van Ditmarsch教授曾经在荷兰格罗宁根大学，新西兰渥太华大学及西班牙塞维利亚大学长期任教。从2012年起，他作为高级研究员加入法国洛林国家信息及其 应用研究所（LORIA－Nancy）领导自己的研究小组。van Ditmarsch教授的主要研究领域包括动态认知逻辑，基于信息的安全协议，信念修正逻辑，认知逻辑中的组合数学以及信息科学教育。他在动态认知逻辑领域的工作，尤其是对于认知谜题的一些列文章，在学术圈及公众领域都具有较高的知名度。由他与另外两个作者合著的《Dynamic Epistemic Logic》一书已经成为了本领域中的重要参考书。同时，van Ditmarsch教授还是逻辑学界顶级期刊《Journal of Philosophical Logic》的主编之一，并曾担任数个其他知名杂志的编辑工作以及多个著名国际会议或暑期学校的主席（如ESSLLI，M4M，LOFT，LORI等）。