Home» News» News» 3月3日李楷报告：Decidability of Logics Based on an Indeterministic Metric Tense Logic

News

3月3日李楷报告：Decidability of Logics Based on an Indeterministic Metric Tense Logic

发布日期：2015-03-07 作者：
附件：   
李楷同学的报告主要介绍了张炎和他合作的关于基于非决定论离散时态的一类逻辑的可判定性结果。这一结果可被用于包含认知，时态和stit算子的逻辑。其证明是主要通过证明有穷模型性实现的。为了证明有穷模型性，他们主要从长度和宽度两方面限制框架。之后李楷补充介绍了一下分支时间树，基于分支时间树的认知逻辑和stit逻辑。

发布时间：2015-03-07 10:48:24