不传递线性时序逻辑，过去知识，可判定性，可容许规则
Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible Rules
摘要：
我们的手稿研究线性时间（与UNTIL和NEXT）逻辑的基础上的概念不传递时间。非传递时间特别是，我们展示了如何在这样的框架中表示知识的概念（在这里，我们认为逻辑操作NN和操作UNTIL（实际上，时间整体）是针对过去）。我们研究的基本数学问题是任何逻辑系统的基本问题-可判定性和可判定性w.r.t.可接受的规则首先，我们考虑具有非一致非传递性的逻辑，并描述如何解决这种逻辑的可判定性问题。然后，我们考虑了这种逻辑的一种修改--具有一致不传递性的线性时态逻辑，并解决了推理规则的可容许性问题。在论文的结论部分列举了一系列有待解决的问题。
英文摘要：
Our manuscript studies linear temporal (with UNTIL and NEXT) logic based at a conception of intransitive time. non-transitive time. In particular, we demonstrate how the notion of knowledge might be represented in such a framework (here we consider logical operation NN and the operation UNTIL (actually, the time overall) to be directed to past). The basic mathematical problems we study are the fundamental ones for any logical system - decidability and decidability w.r.t. admissible rules. First, we consider the logic with non-uniform non-transitivity, and describe how to solve the decidability problem for this logic. Then we consider a modification of this logic - linear temporal logic with uniform intransitivity and solve the problem of admissibility for inference rules. A series of open problems is enumerated in the concluding part of the paper.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
