报告人：王潇扬

题目：模态逻辑中格的完全性证明

时间：2021/4/20 15:10-18:00

地点：二教416

摘要：格作为一种常用的数学对象，通常作为代数结构进行研究。当格作为一种关系结构时，可以将其作为模态逻辑的克里普克语义。本次报告将利用时态逻辑对格论在模态意义下给出完全性的证明，最后将尝试性地探讨多元模态算子和代数算子之间的关系。