时间逻辑的R-I-G结构

DOI:

评审日期

出版日期

注解: 研究的主题是模态逻辑，特别是时间逻辑中停止输出的问题。 选择具有线性传递和密集时间流的时间逻辑进行考虑。 解决所考虑问题的方法之一是使用镶嵌方法，其实质是找到可以完成到无限模型的有限片段集来证明公式。 基于镶嵌方法，可以构建各种结石，例如，R-I-G-calculus，它结合了镶嵌方法，loop-cheak程序和表格微积分的直观清晰度。 该研究在描述时间流的问题中使用形式化，以及构建微积分的演绎方法。 这项工作的新颖之处在于提出了一种原始的方法来解决时间逻辑中停止输出的问题。 基于镶嵌方法的思想，提出了r-I-G-构造的微积分，凭借其规则，保证了最终的结论。 通过用饱和规则补充系统程序，人们可以尝试获得一组饱和的马赛克，这是公式可行性的证明。

出版日期: