Annotated Temporal Logics Delta*tau
Annotated Temporal Logics Delta*tau
复制标题
带注释的时间逻辑 Delta*tau
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
S. Akama
中科院分区：
文献类型：
--
作者：
J. Abe;S. Akama
在本文中，我们提出了一类准一致时间系统Δ*τ，它可以构成，例如，准一致时间推理的框架。利用Kripke语义建立了Δ*τ的完备性。提出的时间逻辑包含了经典的时间逻辑，具有处理不一致的优点。
In this paper we present a class of paraconsistent temporal system Δ*τ which may constitute, for instance, a framework for paracon- sistent temporal reasoning. We establish the completeness of Δ*τ using the Kripke semantics. The proposed temporal logic subsumes the classi- cal one with the advantage of handling inconsistency.