Concerning the Semantic Consequence Relation in First-Order Temporal Logic

Concerning the Semantic Consequence Relation in First-Order Temporal Logic
复制标题

DOI：
10.1016/0304-3975(86)90157-x
复制
发表时间：
1986-11
期刊：
Theor. Comput. Sci.
影响因子：
--
通讯作者：
A. Szałas
A. Szałas
中科院分区：
其他
文献类型：
--
作者：
A. Szałas

文献摘要

被引文献

相似文献

本文研究了具有线性时间和离散时间的一阶时态逻辑。我们证明了这个逻辑的重言式集合不是算术的（即，对于任何自然数n，它既不是n也不是n）。因此，我们表明，没有有限的和完整的公理化的考虑逻辑。
In this paper we consider the first-order temporal logic with linear and discrete time. We prove that the set of tautologies of this logic is not arithmetical (i.e., it is neitherΣ0nnorΠ0nfor any natural numbern). Thus we show that there is no finitistic and complete axiomatization of the considered logic.