×

线性逻辑知识和时间LTK中可接受的推理规则。 (英语) Zbl 1102.03009号

摘要:本文研究了多模态逻辑LTK的可容许推理规则,该规则描述了线性时间和知识的组合。这个逻辑在语义上被定义为所有有效公式的集合,其中({mathcal{LTK}})-帧是多模态Kripke帧,将时间流的线性和离散表示与特殊的S5类形式结合在一起,在每个时间簇中定义并表示知识。在这种特殊情况下,我们首先修改有效的有限模型属性,而本文的中心部分致力于构建LTK的特殊特征模型。这样的结构使我们能够找到一种确定LTK中允许推理规则的算法;这项工作的主要结果是,LTK相对于推理规则是可判定的。

MSC公司:

03B42型 知识和信念的逻辑(包括信念变化)
03B44号 时间逻辑
03年2月25日 理论和句子集的可决定性
PDF格式BibTeX公司 XML格式引用
全文: 内政部