5 research outputs found
Concerning the semantic consequence relation in first-order temporal logic
AbstractIn 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 ÎŁ0n nor Î 0n for any natural number n). Thus we show that there is no finitistic and complete axiomatization of the considered logic