3月25日晚，清华逻辑线上研讨课第四讲举行，丹麦罗斯基勒大学（Roskilde University）帕特里克·白磊本（Patrick Blackburn）教授发表题为“混合逻辑推理及其完全性”的报告。
白磊本基于其最新的研究成果介绍了混合逻辑，重点展示了混合逻辑的核心思想与一阶逻辑的密切相关性。在他看来，混合逻辑是一个更为简洁的语言，只需在经典模态逻辑的基础上进行简单的转换就能够为我们在形式证明中提供强大的帮助；它有更强的表达力，可以表达一些在一阶逻辑中可以表达而在经典模态逻辑中不能表达的句子。此外，他还介绍了混合逻辑的其他推理方式，以及他最近关于形式化混合逻辑完全性证明的工作。
本次研采用公众号预报名的方式，清华校内外师生40余人参加。研讨会由石辰威博士主持，在热烈的线上讨论中落下帷幕。清华逻辑与海外学者将继续坚持开办线上研讨会，稳定有序的推进科研工作，共克时艰。
白磊本，生于香港，长于新西兰，自1981年起周游、学习、工作于欧洲， 2011年秋受聘为丹麦罗斯基勒大学（Roskilde University）帕特里克·白磊本（Patrick Blackburn）教授。其与Maarten de Rijke, Yde Venema 共同编写的《模态逻辑（Modal Logic）》是国内外很多高校的重要参考文献和必修教材，被亲切称为 “the blue book”。主要研究逻辑学及其在认知科学、计算机科学和哲学中的应用，尤其对自然语言相关的应用及模态-混合-时间-描述的逻辑语言感兴趣。
